Update default timeout to 10 seconds

diff --git a/gruntmaster-exec b/gruntmaster-exec
index 9590b4e34173feaa8198bfa13e84e424d810bea6..d8028b8f4f2c5bf15f12c6625a604f480a840680 100755 (executable)
--- a/gruntmaster-exec
+++ b/gruntmaster-exec
@@ -59,7 +59,7 @@ if ($ret) {
                }
                $tle = 1
        };
-       alarm ($timeout || 5);
+       alarm ($timeout || 10);
        waitpid $ret, 0;
        alarm 0;
        if (@sudo) {