install.php
changeset 214 43add2be1371
parent 211 596945fa6e56
child 215 58477ab3937f
--- a/install.php	Sat Nov 17 21:09:31 2007 -0500
+++ b/install.php	Sat Nov 17 22:56:26 2007 -0500
@@ -97,7 +97,7 @@
   }
   if ( !$resumed && $allow_skip )
   {
-    echo_stage_success($stage_id, "[dbg: skipped] $stage_name");
+    echo_stage_success($stage_id, $stage_name);
     return false;
   }
   if ( !function_exists($function) )