From 3de0b2ba6b93491564950506448518a5714e07f3 Mon Sep 17 00:00:00 2001 From: Rob van Son Date: Wed, 27 Jan 2016 15:51:10 +0100 Subject: [PATCH] repair patch --- praat_module/adaptPraat.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/praat_module/adaptPraat.patch b/praat_module/adaptPraat.patch index 314c69e..9ef5e81 100644 --- a/praat_module/adaptPraat.patch +++ b/praat_module/adaptPraat.patch @@ -410,7 +410,7 @@ diff -Naurp -x '*.[oah]' -x '.git*' -x praat praat_sources/sys/DemoEditor.cpp de --- praat_sources/sys/DemoEditor.cpp 2014-05-09 08:59:02.000000000 +0200 +++ demo_praat_sources/sys/DemoEditor.cpp 2014-05-16 10:30:28.000000000 +0200 # Close the script and stop Praat. If you do not stop praat, you retain Zombie Praat processes under Windows -@@ -253,6 +253,7 @@ void Demo_waitForInput (Interpreter inte +@@ -249,6 +249,7 @@ void Demo_waitForInput (Interpreter inte if (theReferenceToTheOnlyDemoEditor -> userWantsToClose) { Interpreter_stop (interpreter); forget (theReferenceToTheOnlyDemoEditor); -- 2.11.4.GIT