--- wpkg.js.0.9.10-test2	2006-06-22 21:28:41.000000000 +0200
+++ wpkg.js	2006-06-25 11:28:45.000000000 +0200
@@ -590,23 +590,23 @@
         
         // if package is no longer present, mark for remove
         if (!found) {
-            if (debug) { info("marking package: " + installedPackageNode.getAttribute("id") + " for remove"); }
+            dinfo("marking package: " + installedPackageNode.getAttribute("id") + " for remove");
 	    removablesArray.push(installedPackageNode);
         }
     }
 
     var allPackagesArray = getAllPackages();
-    if (debug) { info("number of packages to remove: " + removablesArray.length); }
+    dinfo("number of packages to remove: " + removablesArray.length); 
     // check for zombies, then really remove trashed packages
     for (i in removablesArray) {
 	var packageName = removablesArray[i].getAttribute("id");
 	var found = false;
-     if (debug)   info("Checking " + packageName + " to remove.");
+        dinfo("Checking " + packageName + " to remove.");
         for (j in allPackagesArray) {
             if (allPackagesArray[j].getAttribute("id") == packageName)       found = true;
 	}
 	if (found) {
-            if (debug) { info("Checked removal of package: " + packageName); }
+            dinfo("Checked removal of package: " + packageName);
             notifyUserStart();
             removePackage(removablesArray[i]);
 	} else {
@@ -1544,10 +1544,8 @@
 
 		if (nodeInst == null) {
 		  
-		  if (debug) { 
-		    info("Package " + packageName +
+		  dinfo("Package " + packageName +
 			 " missing from settings file, adding it now.");
-		  }
 		  
 		  settings.appendChild(packageNode);
 		  saveXml(settings, settings_file);
