516 code = self.__compileFileSource(self.running) |
516 code = self.__compileFileSource(self.running) |
517 if code: |
517 if code: |
518 self.mainThread.run(code, self.debugMod.__dict__, debug=False) |
518 self.mainThread.run(code, self.debugMod.__dict__, debug=False) |
519 |
519 |
520 elif method == "RequestCoverage": |
520 elif method == "RequestCoverage": |
521 from coverage import coverage |
521 from coverage import Coverage |
522 sys.argv = [] |
522 sys.argv = [] |
523 self.__setCoding(params["filename"]) |
523 self.__setCoding(params["filename"]) |
524 sys.argv.append(params["filename"]) |
524 sys.argv.append(params["filename"]) |
525 sys.argv.extend(params["argv"]) |
525 sys.argv.extend(params["argv"]) |
526 sys.path = self.__getSysPath(os.path.dirname(sys.argv[0])) |
526 sys.path = self.__getSysPath(os.path.dirname(sys.argv[0])) |
533 # we report on all unhandled exceptions |
533 # we report on all unhandled exceptions |
534 sys.excepthook = self.__unhandled_exception |
534 sys.excepthook = self.__unhandled_exception |
535 self.__interceptSignals() |
535 self.__interceptSignals() |
536 |
536 |
537 # generate a coverage object |
537 # generate a coverage object |
538 self.cover = coverage( |
538 self.cover = Coverage( |
539 auto_data=True, |
539 auto_data=True, |
540 data_file="{0}.coverage".format( |
540 data_file="{0}.coverage".format( |
541 os.path.splitext(sys.argv[0])[0])) |
541 os.path.splitext(sys.argv[0])[0])) |
542 |
542 |
543 if params["erase"]: |
543 if params["erase"]: |
904 }) |
904 }) |
905 return |
905 return |
906 |
906 |
907 # generate a coverage object |
907 # generate a coverage object |
908 if params["coverage"]: |
908 if params["coverage"]: |
909 from coverage import coverage |
909 from coverage import Coverage |
910 self.cover = coverage( |
910 self.cover = Coverage( |
911 auto_data=True, |
911 auto_data=True, |
912 data_file="{0}.coverage".format( |
912 data_file="{0}.coverage".format( |
913 os.path.splitext(params["coveragefile"])[0])) |
913 os.path.splitext(params["coveragefile"])[0])) |
914 if params["coverageerase"]: |
914 if params["coverageerase"]: |
915 self.cover.erase() |
915 self.cover.erase() |