# HG changeset patch
# User wenzelm
# Date 1449776978 -3600
# Node ID 2d89fa0b3ff68e60b699f6c55a19734f6350b999
# Parent  31054660f285122d202ec2689966e44f429f5cf6
avoid application spurious startup error;

diff -r 31054660f285 -r 2d89fa0b3ff6 Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Thu Dec 10 16:54:59 2015 +0100
+++ b/Admin/Windows/launch4j/isabelle.xml	Thu Dec 10 20:49:38 2015 +0100
@@ -35,5 +35,7 @@
   <splash>
     <file>{SPLASH}</file>
     <waitForWindow>true</waitForWindow>
+    <timeout>120</timeout>
+    <timeoutErr>false</timeoutErr>
   </splash>
 </launch4jConfig>
\ No newline at end of file