récupération après crash

2022-12-05 12:23:43 +01:00
parent 559039b5e3
commit a27db71327
22 changed files with 300 additions and 147 deletions
--- a/configWatch.php
+++ b/configWatch.php
@ -23,5 +23,12 @@ function configWatchInit()
 	}
 }

+function configWatchStop()
+{
+// stop la surveillance
+	inotify_rm_watch($cwfd, $watch_descriptor);
+	// Destruction de l'instance inotify
+	fclose($cwfd);
+}

 ?>