Disallow newlines in page names

diff --git a/handlers/10_page.sh b/handlers/10_page.sh
index b34aa1b21dac7fc054261ebb566fa4ed4d00fbf4..334df197d9694f72dfd8ccdfbc7c4fba69a96feb 100755 (executable)
--- a/handlers/10_page.sh
+++ b/handlers/10_page.sh
@@ -7,14 +7,6 @@ export WIKI_THEME=${WIKI_THEME:-default}
 
 . "$_EXEC/themes/${WIKI_THEME}.sh"
 
-if [ "$(which awk)" ]; then
-  md() { awk -f "$_EXEC/md_macros.awk" -f "$_EXEC/cgilite/markdown.awk"; }
-elif [ "$(which busybox)" ]; then
-  md() { busybox awk -f "$_EXEC/md_macros.awk" -f "$_EXEC/cgilite/markdown.awk"; }
-else
-  md() { cat; }
-fi
-
 wiki() {
   # Print content of a wiki page
   # Get page from data or underlay dir, handle caching
@@ -48,6 +40,11 @@ case "${PATH_INFO}" in
     FILE "${_EXEC}/${PATH_INFO#/\[.\]}"
     return 0
     ;;
+  *${BR}*)
+    export ERROR_MSG='Page names containing newline character are not allowed'
+    theme_error 400
+    return 0
+    ;;
   */\#*)
     export ERROR_MSG='Page names starting with "#" are not allowed'
     theme_error 400