| 281 |
|
|
| 282 |
// Move the dump files to the working space's last dump |
// Move the dump files to the working space's last dump |
| 283 |
if (file_exists($workspace_location) && exec("ls $workspace_location")) exec("rm -rf $workspace_location/*"); |
if (file_exists($workspace_location) && exec("ls $workspace_location")) exec("rm -rf $workspace_location/*"); |
| 284 |
exec("mkdir -p $workspace_location/data"); |
if (!file_exists($workspace_location)) exec("mkdir -p $workspace_location"); |
|
exec("mkdir -p $workspace_location/tables"); |
|
| 285 |
exec("mv $temp_location/* $workspace_location"); |
exec("mv $temp_location/* $workspace_location"); |
| 286 |
|
|
| 287 |
// Fix the users table issue with conflicting timestamps |
// Fix the users table issue with conflicting timestamps |
Parent Directory
| 
Revision Log
| 
Revision Graph
| 
Patch