Log: write stdout option

UtrechtUniversity · Sep 4, 2024 · e2377ea · e2377ea
1 parent 0c28a0f
commit e2377ea
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/util/log.py b/util/log.py
@@ -40,6 +40,15 @@ def _write(ctx, message):
         ctx.writeLine('serverLog', message)
 
 
+def write_stdout(ctx, message):
+    """Write a message to stdout. Used for some of our scripts.
+
+    :param ctx:      Combined type of a callback and rei struct
+    :param message:  Message to write to log
+    """
+    ctx.writeLine("stdout", message)
+
+
 def debug(ctx, message):
     """"Write a message to the log, if in a development environment.