void FUN_004051c0(int param_1)

{

  if (0 < DAT_0041bc1c) {

    close(DAT_0041bc1c);

  }

  DAT_0041bc1c = -1;

  pidfile_delete(DAT_0041b508);

                    /* WARNING: Subroutine does not return */

  exit(param_1);

}