diff mgtool.php @ 57:29bb365e3ee2

Be more responsive when processing images, check for signals after each thumbnail/medium image generation.
author Matti Hamalainen <ccr@tnsp.org>
date Mon, 12 Sep 2016 13:50:59 +0300
parents 7384504d7b52
children ef9f17280372
line wrap: on
line diff
--- a/mgtool.php	Mon Sep 12 13:50:24 2016 +0300
+++ b/mgtool.php	Mon Sep 12 13:50:59 2016 +0300
@@ -497,7 +497,7 @@
       else
         $galEntry = array();
 
-      mgCheckQuit(FALSE);
+      mgCheckQuit(TRUE);
 
       // Update with captions file data, if any
       if (array_key_exists($ename, $captions))