Also, lets make a function called drush_task_kill($pid) and do the right thing in there based on OS.