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) )