Andreas/evennia
1
0
Fork 0
mirror of https://github.com/evennia/evennia.git synced 2026-03-26 01:36:32 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Turn off kill/skill on Windows since it has no PID management

Browse source
This commit is contained in:
Griatch 2018-01-27 11:21:42 +01:00
parent 18a9e4049a
commit daa34e7fc2
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
evennia/server/evennia_launcher.py
View file

@ -1762,12 +1762,12 @@ def run_menu():
stop_server_only()
elif inp == 7:
if _is_windows():
print("Windows can't send kill signals by PID. Use option 8 instead.")
print("This option is not supported on Windows.")
else:
kill(SERVER_PIDFILE, 'Server')
elif inp == 8:
if _is_windows():
kill(None)
print("This option is not supported on Windows.")
else:
kill(SERVER_PIDFILE, 'Server')
kill(PORTAL_PIDFILE, 'Portal')
@ -1946,13 +1946,13 @@ def main():
stop_server_only()
elif option == 'kill':
if _is_windows():
kill(None)
print("This option is not supported on Windows.")
else:
kill(SERVER_PIDFILE, 'Server')
kill(PORTAL_PIDFILE, 'Portal')
elif option == 'skill':
if _is_windows():
print("This is not supported on Windows. Use 'evennia kill' instead.")
print("This option is not supported on Windows.")
else:
kill(SERVER_PIDFILE, 'Server')
elif option != "noop":