# HG changeset patch # User Paul Issott # Date 1487529916 0 # Node ID 694b6eb6f4f97e0a5aa0a1a05f93ad5131860d28 # Parent faf1a7bf7d5becad6176e6ec6ad4f44ea46983e2 Tiny edit diff -r faf1a7bf7d5b -r 694b6eb6f4f9 step1.php --- a/step1.php Sun Feb 12 12:16:10 2017 +0100 +++ b/step1.php Sun Feb 19 18:45:16 2017 +0000 @@ -11,7 +11,7 @@ while (($name = readdir($dir)) !== false) { if (preg_match('/^tiny_webgen/',$name) == 0) continue; if ($i++ > 100) { - echo "

Too may users, retry later

"; + echo "

Too many users, retry later

"; exit; } if (filemtime("/tmp/$name") > strtotime("-1 hour")) continue;