Mercurial > urweb

diff src/scriptcheck.sml @ 2056:a9159911c3ba

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New phase: Dbmodecheck
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Aug 2014 13:07:56 -0400
parents c1e3805e604e
children 3dd041b00087
line wrap: on
line diff
--- a/src/scriptcheck.sml	Sun Aug 10 13:40:53 2014 -0400
+++ b/src/scriptcheck.sml	Sun Aug 17 13:07:56 2014 -0400
@@ -98,7 +98,7 @@
                              else if IS.member (pull_ids, n) then
                                  ServerAndPull
                              else
-                                 ServerOnly)) (IS.listItems all_ids)
+                                 ServerOnly, AnyDb)) (IS.listItems all_ids)
     in
         (ds, ps)
     end