fixed python issue that prevented Ctrl-C from killing soccer