X-Git-Url: https://git.hcoop.net/hcoop/zz_old/portal.git/blobdiff_plain/31b858520295a388fea3765e4377c5820f284572..57215bc36b90e2395e31240faea44cb84f93ae39:/support.sml diff --git a/support.sml b/support.sml index 48a818d..b8e7a80 100644 --- a/support.sml +++ b/support.sml @@ -232,7 +232,7 @@ fun unsubscribe {usr, cat} = ignore (C.dml (getDb ()) ($`DELETE FROM SupSubscription WHERE usr = ^(C.intToSql usr) AND cat = ^(C.intToSql cat)`)) -val okChars = [#" ", #"-", #".", #"!", #"?", #":", #";", #"'", #"\""] +val okChars = [#" ", #"-", #".", #"!", #"?", #":", #";", #"'", #"\"", #"/"] fun validTitle s = CharVector.exists (fn ch => not (Char.isSpace ch)) s andalso CharVector.all (fn ch => Char.isAlphaNum ch orelse List.exists (fn ch' => ch = ch') okChars) s