diff options
| -rw-r--r-- | buildmaster/build-list-links.php | 2 | ||||
| -rw-r--r-- | buildmaster/deletion-links.php | 2 | ||||
| -rw-r--r-- | buildmaster/dependencies.php | 2 | ||||
| -rw-r--r-- | buildmaster/todos.php | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/buildmaster/build-list-links.php b/buildmaster/build-list-links.php index 6604825..3d4badf 100644 --- a/buildmaster/build-list-links.php +++ b/buildmaster/build-list-links.php @@ -224,7 +224,7 @@ if (isset($_GET["raw"])) { header ("Content-type: image/png"); passthru( - "dot -Tpng -o/dev/stdout " . $input_file + "timeout 30 dot -Tpng -o/dev/stdout " . $input_file ); unlink($input_file); diff --git a/buildmaster/deletion-links.php b/buildmaster/deletion-links.php index 6b00c65..f3a0aef 100644 --- a/buildmaster/deletion-links.php +++ b/buildmaster/deletion-links.php @@ -226,5 +226,5 @@ passthru( "}\n" ) . "' | " . "base64 -d | " . - "dot -Tpng -o/dev/stdout /dev/stdin" + "timeout 30 dot -Tpng -o/dev/stdout /dev/stdin" ); 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" . 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"]) |