changeset 61828 | 2d89fa0b3ff6 |
parent 61296 | 371c117c2fea |
child 66724 | 1e1f9f603385 |
--- 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