chiark / gitweb /
fix it to work with empty config file
authorian <ian>
Sun, 13 Jul 2008 23:54:16 +0000 (23:54 +0000)
committerian <ian>
Sun, 13 Jul 2008 23:54:16 +0000 (23:54 +0000)
hostside/gui

index 1cccbab896f815dfdcf79fd62459c08c77ac7e9f..ae99e756d9b86706938a196ee94b5033c4ca48f2 100755 (executable)
@@ -880,7 +880,8 @@ proc engage-server {} {
 }
 
 proc main {} {
-    global pages cpage configfile
+    global pages cpage configfile input_bindings
+    set input_bindings {}
     setting server railway {[[0-9a-z:].*}
     setting geometry {} {[-+]\d+[-+]\d+}
     setting posdeviation 10 {\d+}
@@ -891,7 +892,7 @@ proc main {} {
     setting scaninputinterval 500 {\d+}
 
     set hostname [lindex [split [info hostname] .] 0]
-    setting configfile gui-$hostname.config {^.}
+    setting configfile gui-$hostname.config {.+}
     parse-argv {}
     uplevel #0 source gui-layout.config
     uplevel #0 source $configfile