# # # patch "www/admin-source_control_backend.php" # from [bad920c2af82c62f49e8e8c8b1a2404aa635ee27] # to [9379456da9dab9d28315a8be28a5f7a99e123ccf] # ============================================================ --- www/admin-source_control_backend.php bad920c2af82c62f49e8e8c8b1a2404aa635ee27 +++ www/admin-source_control_backend.php 9379456da9dab9d28315a8be28a5f7a99e123ccf @@ -42,6 +42,8 @@ exec("rm $projdir/database 2>&1", $out, $res1); exec("$monotone -d $projdir/database db init 2>&1", $out, $res2); exec("chmod g+rw $projdir/database 2>&1", $out, $res3); + exec("cp $projdir/database $projdir/database.viewmtn"); + exec("cp $projdir/database $projdir/database.transfer"); if ($res2 > 0 || $res3 > 0) { $err = ""; if ($res1) $err = $err . "Remove old database failed. ";