edit: detect executable files as uneditable
[minimedit.git] / foot.inc.php
old mode 100644 (file)
new mode 100755 (executable)
index 30426ea..d2ba826
@@ -1,7 +1,7 @@
 </div>
 <hr class="footer" />
 <?php
-if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.html')) {
+if (($notfound = $_SERVER['SCRIPT_NAME'] == '/404.php')) {
        echo <<<'EOT'
 <script>
 var pagebody = document.getElementsByClassName('article')[0];
@@ -13,6 +13,13 @@ EOT;
 define('N', "\n");
 
 $editable = FALSE; // "Beheer toegestaan voor {$_SERVER['REMOTE_ADDR']}:";
+
+$curfile = ltrim($_SERVER['SCRIPT_NAME'], '/');
+if (is_executable(__DIR__ . '/' . $curfile)) {
+       // dynamic code is +x
+       $editable = FALSE;
+}
+
 if ($editable) {
        echo '<p class="footer">'.N;
        echo $editable.N;