Revert "Windows: patched launch4j to reduce the delay between pollings for the main"

This reverts commit c3fc56f845.
This commit is contained in:
Federico Fissore 2015-11-26 11:05:58 +01:00
parent c3fc56f845
commit 553a022a24
2 changed files with 0 additions and 15 deletions

View File

@ -861,8 +861,6 @@
<delete dir="windows/launcher/launch4j"/>
<antcall target="download-${launch4j-download-unpack-target-name}" />
<patch patchfile="windows/launcher.timer.patch" strip="1" dir="windows/launcher/launch4j/"/>
<property name="launch4j.dir" value="windows/launcher/launch4j/" />
<taskdef name="launch4j"
classname="net.sf.launch4j.ant.Launch4jTask"

View File

@ -1,13 +0,0 @@
diff --git a/head_src/guihead/guihead.c b/head_src/guihead/guihead.c
index f0d9935..c6599f0 100644
--- a/head_src/guihead/guihead.c
+++ b/head_src/guihead/guihead.c
@@ -120,7 +120,7 @@ int APIENTRY WinMain(HINSTANCE hInstance,
{
if (splash || stayAlive)
{
- if (!SetTimer (hWnd, ID_TIMER, 1000 /* 1s */, TimerProc))
+ if (!SetTimer (hWnd, ID_TIMER, 100, TimerProc))
{
signalError();
return 1;