X-Git-Url: https://git.hcoop.net/bpt/portal.git/blobdiff_plain/656378a5c08a6ef71fd7d14507c6652adf302550..e27a09d39202347f4df5b6ac733f67de2d71f21c:/support.sml diff --git a/support.sml b/support.sml index 7ea7809..43bb9fb 100644 --- a/support.sml +++ b/support.sml @@ -240,7 +240,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