[2734] Display if emi is still running

[root-odJJhXpcy38dnm+]

Revision: 2734
Author: pterjan
Date: 2012-01-20 22:38:31 +0100 (Fri, 20 Jan 2012)
Log Message:
-----------
Display if emi is still running

Modified Paths:
--------------
build_system/web/index.php

Modified: build_system/web/index.php
===================================================================
--- build_system/web/index.php 2012-01-20 19:41:03 UTC (rev 2733)
+++ build_system/web/index.php 2012-01-20 21:38:31 UTC (rev 2734)
@@ -227,6 +227,13 @@
}
}

+// check if emi is running
+$stat = stat("/var/lib/schedbot/tmp/upload");
+if ($stat) {
+ $upload_time = $stat['mtime'];
+}
+
+// publish stats as headers
foreach ($stats as $k => $v) {
Header("X-BS-Queue-$k: $v");
}
@@ -305,6 +312,10 @@

#########################################

+if ($upload_time) {
+ echo sprintf('<p>Upload in progress for %s.</p>', timediff($upload_time));
+}
+
$buildtime_stats = array();

$s = '';