wip #6298 @1

diff --git a/app/ping.php b/app/ping.php
index ea46292489914396f2df9d642d1168d500b84141..60e13037a4787cc8844774f9f05135ebc51670f9 100644 (file)
--- a/app/ping.php
+++ b/app/ping.php
@@ -1,9 +1,12 @@
 <?php
-$files = ['/files', '/application/protected/fluidbookpublication/docs', '/usfiles','/application/protected/fluidbookpublication/cache/pdffiles','/application/protected/fluidbookpublication/working'];
+$files = ['/files', '/application/protected/fluidbookpublication/docs', '/usfiles', '/application/protected/fluidbookpublication/cache/pdffiles', '/application/protected/fluidbookpublication/working'];
 foreach ($files as $file) {
-       if (!file_exists($file.'/status')) {
-               die($file.'/status not found');
-       }
+    if (!file_exists($file . '/status')) {
+        die($file . '/status not found');
+    }
+}
+if (disk_free_space('/') < 500000000) {
+    die('less that 500MB free space on device');
 }
 die('1');