Skip to content

Instantly share code, notes, and snippets.

@felixjung
Created August 15, 2012 17:35
Show Gist options
  • Save felixjung/3361836 to your computer and use it in GitHub Desktop.
Save felixjung/3361836 to your computer and use it in GitHub Desktop.
if (defined ($progressbar_pid)) {
kill(15, $progressbar_pid) or fail("Failed to close progress bar window: $!");
undef $progressbar_pid;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment