HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Adding users from applications
[bpt/portal.git]
/
support.sml
diff --git
a/support.sml
b/support.sml
index
701737b
..
84c0744
100644
(file)
--- a/
support.sml
+++ b/
support.sml
@@
-261,7
+261,9
@@
fun writeRecipients (mail, iss : issue, cat : category, noName) =
FROM WebUser JOIN Membership ON (usr = id AND grp = ^(C.intToSql (#grp cat)))`
else
$`SELECT name
FROM WebUser JOIN Membership ON (usr = id AND grp = ^(C.intToSql (#grp cat)))`
else
$`SELECT name
- FROM WebUser JOIN SupSubscription ON (usr = id AND cat = ^(C.intToSql (#id cat)))`
+ FROM WebUser JOIN SupSubscription ON (usr = id AND cat = ^(C.intToSql (#id cat)))
+ UNION SELECT name
+ FROM WebUser JOIN Membership ON (usr = id AND grp = ^(C.intToSql (#grp cat)))`
fun doOne [name] =
let
fun doOne [name] =
let