?revision_form?Rev ?revision_input??revision_submit??revision_endform?
Rev 130 |
Blame |
Compare with Previous |
Last modification |
View Log
| RSS feed
--- 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++];