# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1560576770 -32400
# Node ID c064c7d357dc9c7ca39df127def89fb66774ffb8
# Parent  67ecd5901590224149af464c014a9ec21182e6a7
Sanitize argument from cgi with numericalize()

diff -r 67ecd5901590 -r c064c7d357dc s4-funcs.sh
--- a/s4-funcs.sh	Fri Jun 14 09:27:11 2019 +0900
+++ b/s4-funcs.sh	Sat Jun 15 14:32:50 2019 +0900
@@ -871,6 +871,9 @@
     return 1
   fi
 }
+numericalize() {
+  echo "${1%%[!0-9]*}"
+}
 encode() {
   if [ -z "$sha1" ]; then
     if type sha1 >/dev/null 2>&1; then