HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Working on automatic rmdom for bad domains during regen
[hcoop/domtool2.git]
/
src
/
plugins
/
bind.sml
diff --git
a/src/plugins/bind.sml
b/src/plugins/bind.sml
index
46ecbc3
..
f08367e
100644
(file)
--- a/
src/plugins/bind.sml
+++ b/
src/plugins/bind.sml
@@
-163,7
+163,7
@@
val () = Slave.registerFileHandler (fn fs =>
fun dnsChanged () =
if #domain fs = !didDomain then
()
- else if
#action fs = Slave.Delete
then
+ else if
Slave.isDelete (#action fs)
then
let
val fname = OS.Path.joinBaseExt {base = #domain fs,
ext = SOME "zone"}