]> git.plutz.net Git - shellwiki/commitdiff
fix accidental mishandling
authorPaul Hänsch <paul@plutz.net>
Thu, 12 May 2022 10:21:32 +0000 (12:21 +0200)
committerPaul Hänsch <paul@plutz.net>
Thu, 12 May 2022 10:21:32 +0000 (12:21 +0200)
handlers/10_page.sh

index e010ab12c4e7bc7d797c3a9fe81c706d664a2f74..70e70e7fa75a0e8fd4e48ddb399c0fb8dcf342da 100755 (executable)
@@ -48,14 +48,14 @@ case "${PATH_INFO}" in
     FILE "${_EXEC}/${PATH_INFO#/\[.\]}"
     return 0
     ;;
-  */\[*\]/*/)
-    return 1
-    ;;
-  */"#"*/*)
-    export ERROR_MSG="This page name is not allowed"
+  */\#*)
+    export ERROR_MSG='Page names starting with "#" are not allowed'
     theme_error 400
     return 0
     ;;
+  */\[*\]/*)
+    return 1
+    ;;
   */"[login]")
     theme_page "/[wiki]/login/"
     return 0