util/jobutil.cc
/// Given a pid file handle created by mark_running,
/// close it and delete the file.  Not an error if this
/// pidfile does not exist.
///
Given a pid file handle created by mark_running,
close it and delete the file.  Not an error if this
pidfile does not exist.
Given a pid file handle created by mark_running close it and delete the file . Not an error if this pidfile does not exist .
void mark_ended( const char *prog )
{
    try {
        fs::path pidpath;
        get_pid_path(prog,pidpath);
        fs::remove( pidpath );
    } catch( fs::filesystem_error &ex ) {
        std::cerr << "Failed to delete pidfile for " << prog
                  << ": " << ex.what() << std::endl;
    }
}
void mark_ended ( const char * prog ) { try { fs :: path pidpath ; get_pid_path ( prog , pidpath ) ; fs :: remove ( pidpath ) ; } catch ( fs :: filesystem_error & ex ) { std :: cerr << " " << prog << " " << ex . what ( ) << std :: endl ; } }
Given a pid file handle created by mark_running,
close it and delete the file.
Given a pid file handle created by mark_running close it and delete the file .