HCoop
/
hcoop
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Specify host for database connections
[hcoop/portal.git]
/
support.sml
diff --git
a/support.sml
b/support.sml
index
c5895bf
..
43bb9fb
100644
(file)
--- 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)`))
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
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