Implement colored logging for para_server.

[paraslash.git] / server.ggo

diff --git a/server.ggo b/server.ggo
index 2a5fabc30e61e3385475407897ce45879e86fe4b..fc60637204c2362854cc0866e1218fd9239ea8ae 100644 (file)
--- a/server.ggo
+++ b/server.ggo
@@ -20,6 +20,24 @@ details="
        that cause para_server to terminate immediately.
 "
 
+option "color" C
+#~~~~~~~~~~~~~~~
+"activate color output"
+enum typestr="when"
+values = "yes","no","auto"
+default = "auto"
+optional
+
+option "log_color" -
+#~~~~~~~~~~~~~~~~~~~
+"select a color for one type of log message"
+string typestr="color_spec"
+multiple
+optional
+details="
+       Example: --log_color \"INFO:yellow black bold\"
+"
+
 option "port" p
 #~~~~~~~~~~~~~~
 "listening port"