added timeout facility for musrfit, musrview, musrt0. Adopted musredit/musrgui accordingly.

2012-04-15 08:39:30 +00:00
parent 3a0715b3ed
commit 7368884482
16 changed files with 333 additions and 134 deletions
--- a/src/musrgui/musrgui_startup.xml.in
+++ b/src/musrgui/musrgui_startup.xml.in
@@ -15,6 +15,7 @@
    <font_name>Courier</font_name>
    <font_size>12</font_size>
  </font_settings>
+  <timeout>3600</timeout>
  <msr_file_defaults>
    <beamline>mue4</beamline>
    <institute>psi</institute>