From daa34e7fc2f3255b0131f263ad668c8be58e71d1 Mon Sep 17 00:00:00 2001 From: Griatch Date: Sat, 27 Jan 2018 11:21:42 +0100 Subject: [PATCH] Turn off kill/skill on Windows since it has no PID management --- evennia/server/evennia_launcher.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/evennia/server/evennia_launcher.py b/evennia/server/evennia_launcher.py index b2f75761d0..f81eed176f 100644 --- a/evennia/server/evennia_launcher.py +++ b/evennia/server/evennia_launcher.py @@ -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":