HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Don't show stats on uninhabited locations
[bpt/portal.git]
/
support.sml
diff --git
a/support.sml
b/support.sml
index
48a818d
..
9c30d24
100644
(file)
--- a/
support.sml
+++ b/
support.sml
@@
-1,4
+1,4
@@
-structure Support :> SUPPORT =
+
\
structure Support :> SUPPORT =
struct
open Util Sql Init
struct
open Util Sql Init
@@
-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)`))
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