diff options
| author | Wushin <pasekei@gmail.com> | 2015-05-06 13:02:01 -0500 |
|---|---|---|
| committer | Wushin <pasekei@gmail.com> | 2015-05-06 13:02:01 -0500 |
| commit | 405617e7ef885d0bc93c48a83634b6bbe8557044 (patch) | |
| tree | 4f8338e85a3f4ed0ca4fc0a145a9911afed1b403 /tools/config.py | |
| parent | 429109175adfcdc521eaacd1cbf66ced0bf2029d (diff) | |
| parent | 53a91a3fbf0929a99abcdfea23126f978c3ce71a (diff) | |
| download | tmwa-405617e7ef885d0bc93c48a83634b6bbe8557044.tar.gz tmwa-405617e7ef885d0bc93c48a83634b6bbe8557044.tar.bz2 tmwa-405617e7ef885d0bc93c48a83634b6bbe8557044.tar.xz tmwa-405617e7ef885d0bc93c48a83634b6bbe8557044.zip | |
Merge pull request #76 from wushin/remove-monitor
Remove tmwa-monitor
Diffstat (limited to 'tools/config.py')
| -rwxr-xr-x | tools/config.py | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/tools/config.py b/tools/config.py index a32e8ca..aeb4e99 100755 --- a/tools/config.py +++ b/tools/config.py @@ -419,7 +419,6 @@ def build_config(): admin_realm = rv.realm('src/admin') char_realm = rv.realm('src/char') map_realm = rv.realm('src/map') - monitor_realm = rv.realm('src/monitor') # confs login_conf = login_realm.conf() @@ -434,8 +433,6 @@ def build_config(): map_conf = map_realm.conf() battle_conf = map_realm.conf('battle') - monitor_conf = monitor_realm.conf() - # headers cstdint_sys = SystemHeader('cstdint') vector_sys = SystemHeader('vector') @@ -677,11 +674,6 @@ def build_config(): battle_conf.opt('itemheal_regeneration_factor', i32, '1') battle_conf.opt('mob_splash_radius', i32, '-1', min='-1') - monitor_conf.opt('login_server', RString, lit('./login-server')) - monitor_conf.opt('char_server', RString, lit('./char-server')) - monitor_conf.opt('map_server', RString, lit('./map-server')) - monitor_conf.opt('workdir', RString, '{}') # initialized specially - return rv def main(): |