summaryrefslogtreecommitdiff
path: root/coverage/config.py
diff options
context:
space:
mode:
authorNed Batchelder <nedbat@gmail.com>2016-07-25 15:43:29 -0400
committerNed Batchelder <nedbat@gmail.com>2016-07-25 15:43:29 -0400
commit16316f298891a44887cfd4e674837c6343d4e3ce (patch)
tree9b77d6ca45976743d08a8a3109355904b6ab6408 /coverage/config.py
parent109f1fdb78e6409f83e680ed301c38490dfe2e14 (diff)
parent3cd55da973c226171ac99f391da8fb24da736723 (diff)
downloadpython-coveragepy-16316f298891a44887cfd4e674837c6343d4e3ce.tar.gz
Merged in scop/coverage.py/html-filter (pull request #85)
Speed up HTML filtering
Diffstat (limited to 'coverage/config.py')
-rw-r--r--coverage/config.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/coverage/config.py b/coverage/config.py
index 23ec232..d6f5af0 100644
--- a/coverage/config.py
+++ b/coverage/config.py
@@ -9,7 +9,7 @@ import re
import sys
from coverage.backward import configparser, iitems, string_class
-from coverage.misc import CoverageException, isolate_module
+from coverage.misc import contract, CoverageException, isolate_module
os = isolate_module(os)
@@ -201,6 +201,7 @@ class CoverageConfig(object):
v = [v]
setattr(self, k, v)
+ @contract(filename=str)
def from_file(self, filename, section_prefix=""):
"""Read configuration from a .rc file.