Server test stop fix

Fun fact: I pull requested crawljax/crawljax with this again