Mirrors/ICEcoder
2
0
Fork 0
mirror of https://github.com/icecoder/ICEcoder.git synced 2026-03-04 07:44:01 +01:00
Code Issues Packages Projects Releases Wiki Activity

Output datetime, extract code outside of block

Browse Source
This commit is contained in:
root
2019-10-06 15:57:16 +00:00
parent 433e169f06
commit 6cdcbbf355
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
processes/system.php
View File

@@ -3,7 +3,7 @@
if (isset($_SERVER['HTTP_HOST'])) {
die("Server side script only");
} else {
echo "Checking for changes via git diff every 2 secs...";
echo "Checking for changes via git diff every 2 secs...\n";
}
// Require a re-index dir/file data next time we index
@@ -29,6 +29,7 @@ while(true) {
$thisMD5 = shell_exec("cd .. && git diff | md5sum");
// If we have a previous checksum value and the current is different to it
if (isset($prevMD5) && $thisMD5 !== $prevMD5) {
echo "Changed ".date("Y-m-d g:i:s a (U)")."\n";
// Set timestamp of last index to 0 to force a re-index next time we index
requireReIndexNextTime();
// Get a list of all that's changed, into an array (filtered to remove false entries)
@@ -37,9 +38,10 @@ while(true) {
$output = ["paths" => array_filter($diffLines)];
// Store the serialized array in PHP comment block for pick up
file_put_contents(dirname(__FILE__)."/../data/git-diff.php", "<?php\n/*\n\n".serialize($output)."\n\n*/\n?".">");
// Set prev MD5 to this one, ready for next time, sleep for 2 secs before loop starts again
$prevMD5 = $thisMD5;
sleep(2);
}
// Set prev MD5 to this one, ready for next time, sleep for 2 secs before loop starts again
$prevMD5 = $thisMD5;
sleep(2);
}
?>