5133:b7fe69c6cb1c | 5134:4a4212a6f40c |
---|---|
789 if bp is not None: | 789 if bp is not None: |
790 if params["enable"]: | 790 if params["enable"]: |
791 bp.enable() | 791 bp.enable() |
792 else: | 792 else: |
793 bp.disable() | 793 bp.disable() |
794 | |
795 | 794 |
796 elif method == "RequestBreakpointIgnore": | 795 elif method == "RequestBreakpointIgnore": |
797 params["filename"] = params["filename"].encode( | 796 params["filename"] = params["filename"].encode( |
798 sys.getfilesystemencoding()) | 797 sys.getfilesystemencoding()) |
799 bp = self.mainThread.get_break(params["filename"], params["line"]) | 798 bp = self.mainThread.get_break(params["filename"], params["line"]) |
873 # generate a coverage object | 872 # generate a coverage object |
874 if params["coverage"]: | 873 if params["coverage"]: |
875 from coverage import coverage | 874 from coverage import coverage |
876 self.cover = coverage( | 875 self.cover = coverage( |
877 auto_data=True, | 876 auto_data=True, |
878 data_file="%s.coverage" % \ | 877 data_file="%s.coverage" % ( |
879 os.path.splitext(params["coveragefile"])[0]) | 878 os.path.splitext(params["coveragefile"])[0])) |
880 if params["coverageerase"]: | 879 if params["coverageerase"]: |
881 self.cover.erase() | 880 self.cover.erase() |
882 else: | 881 else: |
883 self.cover = None | 882 self.cover = None |
884 | 883 |