File: dump_timeout.patch

package info (click to toggle)
pike8.0 8.0.1956-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 60,580 kB
  • sloc: ansic: 259,734; xml: 36,320; makefile: 3,748; sh: 1,713; cpp: 1,349; awk: 1,036; lisp: 655; javascript: 468; asm: 242; objc: 240; pascal: 157; sed: 34
file content (17 lines) | stat: -rw-r--r-- 541 bytes parent folder | download | duplicates (6)
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
@@ -330,7 +330,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++];