diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-26 09:12:09 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-26 09:12:09 +0200 |
| commit | 4eb3face7bd2fc2e3fd62139fe7e110ddba499a9 (patch) | |
| tree | a93e9e2d7b796180db28016e55d5642e2fe0d4a2 /buildmaster/todos.php | |
| parent | 31d142f5ac9dbbca62534b636ebdc6229cfeb00b (diff) | |
| download | archweb32-4eb3face7bd2fc2e3fd62139fe7e110ddba499a9.tar.xz | |
"dot" -> "timeout 30 dot"
Diffstat (limited to 'buildmaster/todos.php')
| -rw-r--r-- | buildmaster/todos.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildmaster/todos.php b/buildmaster/todos.php index b175350..e3d7319 100644 --- a/buildmaster/todos.php +++ b/buildmaster/todos.php @@ -59,7 +59,7 @@ if (isset($_GET["graph"])) { "}\n" ) . "\" | " . "base64 -d | " . - "dot -Tpng -o/dev/stdout /dev/stdin" + "timeout 30 dot -Tpng -o/dev/stdout /dev/stdin" ); } else { // isset($_GET["graph"]) |