Add rmuser command

[hcoop/domtool2.git] / src / domain.sml

diff --git a/src/domain.sml b/src/domain.sml
index 04ee532..3d8290b 100644 (file)
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -693,7 +693,7 @@ fun rmdom doms =
                                before Posix.FileSys.closedir dir
                            end
                                handle OS.SysErr _ =>
                                before Posix.FileSys.closedir dir
                            end
                                handle OS.SysErr _ =>

-                                      (print ("Warning: System error deleteing domain " ^ dom ^ " on " ^ node ^ ".\n");
+                                      (print ("Warning: System error deleting domain " ^ dom ^ " on " ^ node ^ ".\n");

                                        actions)
                    in
                        visitDom (dom, dname, actions)
                                        actions)
                    in
                        visitDom (dom, dname, actions)