From: Adam Chlipala <adamc@hcoop.net>
Date: Mon, 24 Nov 2008 14:08:35 +0000 (+0000)
Subject: Print on start of mysql-fixperms in domtool-server
X-Git-Tag: release_2010-11-19~15
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/0c3785870c3ad0ec9e42d6704939b98e707df64a

Print on start of mysql-fixperms in domtool-server
---

diff --git a/src/main.sml b/src/main.sml
index 4836ed8..9b9d296 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -1555,14 +1555,15 @@ fun service () =
 				      (fn () => ())
 
 			       | MsgMysqlFixperms =>
-				 doIt (fn () => if OS.Process.isSuccess
-						       (OS.Process.system "/usr/bin/sudo -H /afs/hcoop.net/common/etc/scripts/mysql-grant-table-drop") then
-						    ("Requested mysql-fixperms",
-						     NONE)
+				 (print "Starting mysql-fixperms\n";
+				  doIt (fn () => if OS.Process.isSuccess
+							(OS.Process.system "/usr/bin/sudo -H /afs/hcoop.net/common/etc/scripts/mysql-grant-table-drop") then
+						     ("Requested mysql-fixperms",
+						      NONE)
 						 else
 						     ("Requested mysql-fixperms, but execution failed!",
 						      SOME "Script execution failed."))
-				      (fn () => ())
+				       (fn () => ()))
 
 			       | MsgDescribe dom =>
 				 doIt (fn () => if not (Domain.validDomain dom) then