From 0c3785870c3ad0ec9e42d6704939b98e707df64a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 24 Nov 2008 14:08:35 +0000 Subject: [PATCH] Print on start of mysql-fixperms in domtool-server --- src/main.sml | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) 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 -- 2.20.1