| … | |
… | |
| 176 | if (print_debug) |
176 | if (print_debug) |
| 177 | printf("Cleaning up pids file.\n"); |
177 | printf("Cleaning up pids file.\n"); |
| 178 | |
178 | |
| 179 | /* Stat the PIDs file, make sure it exists and is a regular file */ |
179 | /* Stat the PIDs file, make sure it exists and is a regular file */ |
| 180 | if (file_exist(sandbox_pids_file, 1) <= 0) { |
180 | if (file_exist(sandbox_pids_file, 1) <= 0) { |
| 181 | fprintf(stderr, ">>> pids file is not a regular file"); |
181 | fprintf(stderr, ">>> pids file is not a regular file\n"); |
| 182 | success = 0; |
182 | success = 0; |
| 183 | /* We should really not fail if the pidsfile is missing here, but |
183 | /* We should really not fail if the pidsfile is missing here, but |
| 184 | * rather just exit cleanly, as there is still some cleanup to do */ |
184 | * rather just exit cleanly, as there is still some cleanup to do */ |
| 185 | return; |
185 | return; |
| 186 | } |
186 | } |
Parent Directory
| 
Revision Log
| 
Patch