| /trunk/debian/patches/dump_timeout.patch |
|---|
| 1,6 → 1,6 |
| --- a/lib/modules/Tools.pmod/Standalone.pmod/dump.pike |
| +++ b/lib/modules/Tools.pmod/Standalone.pmod/dump.pike |
| @@ -323,7 +323,8 @@ void dump_files() { |
| @@ -325,7 +325,8 @@ void dump_files() { |
| #if constant(alarm) |
| // Dumping shouldn't take more than a minute per file. |