bug fix in restore.php: it did not update the status when restoration has been finished