Fix file paths for recursive rmdom
authorAdam Chlipala <adamc@hcoop.net>
Sat, 16 Dec 2006 01:08:19 +0000 (01:08 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 16 Dec 2006 01:08:19 +0000 (01:08 +0000)
src/domain.sml

index 9234c7c..ca2f993 100644 (file)
@@ -684,7 +684,7 @@ fun rmdom dom =
                                        loop ({action = Slave.Delete,
                                               domain = dom,
                                               dir = dname,
                                        loop ({action = Slave.Delete,
                                               domain = dom,
                                               dir = dname,
-                                              file = fname} :: actions)
+                                              file = fnameFull} :: actions)
                                end
                    in
                        loop actions
                                end
                    in
                        loop actions