proper logging

2009-12-30 07:59:40 +00:00
parent 96c3cf73e5
commit 694200d9f8
11 changed files with 117 additions and 21 deletions
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@ -141,12 +141,14 @@ class ExtManager extends SimpleExtension {
 				else {
 					full_copy("contrib/$fname", "ext/$fname");
 				}
+				log_info("ext_manager", "Enabling $fname");
 			}
 		}
 		else {
 			// disable if currently enabled
 			if(file_exists("ext/$fname")) {
 				deltree("ext/$fname");
+				log_info("ext_manager", "Disabling $fname");
 			}
 		}
 	}