From 9dfd1f5ea8811313f3963d4d10e53908e2925cc8 Mon Sep 17 00:00:00 2001 From: Griatch Date: Sat, 20 Jan 2018 00:51:41 +0100 Subject: [PATCH] Add missing border line in menu --- evennia/server/evennia_launcher.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/evennia/server/evennia_launcher.py b/evennia/server/evennia_launcher.py index e33f13a4b2..58442d2678 100644 --- a/evennia/server/evennia_launcher.py +++ b/evennia/server/evennia_launcher.py @@ -316,7 +316,7 @@ MENU = \ | 6) Kill Portal + Server (send kill signal to process) | | 7) Kill Server only | +--- Information -----------------------------------------------+ - | 8) Tail log file + | 8) Tail log file | | 9) Run status | | 10) Port info | +---------------------------------------------------------------+