Package: pike7.8 / 7.8.700-7~bpo70+1

dump_timeout.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
Author: Magnus Holmgren
Bug-Debian: http://bugs.debian.org/593436
Description: Increase module dumping timeout
 The timeout seems to be too short on architectures such as ARM and Geode.

--- a/lib/modules/Tools.pmod/Standalone.pmod/dump.pike
+++ b/lib/modules/Tools.pmod/Standalone.pmod/dump.pike
@@ -325,7 +325,8 @@ void dump_files() {
 
 #if constant(alarm)
   // Dumping shouldn't take more than a minute per file.
-  alarm(60);
+  // Except on architectures such as ARM and Geode.
+  alarm(300);
 #endif
 
   string file = files[pos++];