diff options
Diffstat (limited to 'prefs.patch')
| -rw-r--r-- | prefs.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/prefs.patch b/prefs.patch new file mode 100644 index 000000000000..788a113f07c4 --- /dev/null +++ b/prefs.patch @@ -0,0 +1,15 @@ +--- wsurf-orig.tcl 2014-03-16 03:00:12.607411989 +0100 ++++ src/wsurf/wsurf.tcl 2014-03-16 02:49:27.807185395 +0100 +@@ -3121,7 +3121,12 @@ + + foreach var [list inDev outDev PrintCmd PrintPVCmd linkFile tmpDir \ + defRate defEncoding defChannels recordLimit showLevel] { ++ if {[info exists Info(Prefs,$var)]} { + set Info(Prefs,t,$var) $Info(Prefs,$var) ++ } else { ++ puts "Missing Info(Prefs,$var)" ++ set Info(Prefs,t,$var) {} ++ } + } + + if {$Info(Prefs,linkFile)} { |