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/dependencies.php | |
| parent | 31d142f5ac9dbbca62534b636ebdc6229cfeb00b (diff) | |
| download | archweb32-4eb3face7bd2fc2e3fd62139fe7e110ddba499a9.tar.xz | |
"dot" -> "timeout 30 dot"
Diffstat (limited to 'buildmaster/dependencies.php')
| -rw-r--r-- | buildmaster/dependencies.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/buildmaster/dependencies.php b/buildmaster/dependencies.php index 8eb4dc4..fb168a1 100644 --- a/buildmaster/dependencies.php +++ b/buildmaster/dependencies.php @@ -156,7 +156,7 @@ $edges = str_replace("\$","\\\$",$edges); header ("Content-type: image/png"); passthru( - "dot -Tpng -o/dev/stdout /dev/stdin <<EOF\n" . + "timeout 30 dot -Tpng -o/dev/stdout /dev/stdin <<EOF\n" . "digraph dependencies {\n" . "rankdir=LR;\n" . "fontname=dejavu;\n" . |