diff -r 676182f2e375 -r 09a6a7c04b45 etc/options
--- a/etc/options	Wed Jan 02 12:50:32 2019 +0100
+++ b/etc/options	Wed Jan 02 20:20:01 2019 +0100
@@ -302,3 +302,9 @@
 option build_log_ssh_port : int = 0
 option build_log_history : int = 30  -- "length of relevant history (in days)"
 option build_log_transaction_size : int = 1  -- "number of log files for each db update"
+
+
+section "Isabelle/Scala/ML system channel"
+
+option system_channel_address : string = ""
+option system_channel_password : string = ""