edit/page: save original request for commit message

Minor code cleanup in not recreating the earlier name.

diff --git a/edit/page/index.php b/edit/page/index.php
index d506e8f3a20e252c9f914f36ad5c0f11f813397b..194a25d88a476b85d367cd5b46cecd5b5bb54727 100644 (file)
--- a/edit/page/index.php
+++ b/edit/page/index.php
@@ -44,9 +44,10 @@ if ($_FILES) {
 if (!$_POST)
        abort("niets te doen", '405 post error');
 
-$filename = trim($Page->path, '/') ?: 'index';
-if (preg_match('{^\.}', $filename))
-       abort("ongeldige bestandsnaam: $filename", '403 input error');
+$request = trim($Page->path, '/') ?: 'index';
+if (preg_match('{^\.}', $request))
+       abort("ongeldige bestandsnaam: $request", '403 input error');
+$filename = $request;
 if (is_dir($filename) && !file_exists("$filename.html"))
        $filename .= '/index';
 $filename .= '.html';
@@ -72,7 +73,7 @@ if (!file_put_contents($filename, $upload))
        abort("fout bij schrijven van $filename", '500 save error');
 
 if (is_writable('.git')) {
-       $gitmsg = preg_replace('/\.html$/', '', $filename).": edit from {$_SERVER['REMOTE_ADDR']}";
+       $gitmsg = "$request: edit from {$_SERVER['REMOTE_ADDR']}";
        $gitcmd = 'git';
        $gitcmd .= ' -c user.name='.escapeshellarg($User->name ?: $User->login);
        $gitcmd .= ' -c user.email='.escapeshellarg($User->email ?: "{$User->login}@lijtweg.nl");