diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-08-05 00:10:19 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2008-08-05 00:10:19 (GMT) |
| commit | ae5a9fc5a5cf5f791860d7cac276ae517625b1b0 (patch) | |
| tree | 27622eaa4b0db12dd79238c7128d527c6f022ed7 /scripts | |
| parent | 236b9ef60de3baab79ff388f789d13fa9b0baa72 (diff) | |
Remove unused code.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/check.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/check.py b/scripts/check.py index c222392..7679e6e 100644 --- a/scripts/check.py +++ b/scripts/check.py @@ -32,10 +32,6 @@ class cmd_check(Command): except OSError: print 'Cannot execute xfvb, will use the default display.' - def stop_xvfb(self): - if self._xvfb_pid: - os.kill(self._xvfb_pid) - def run_pylint(self, args): p = subprocess.Popen([ 'pylint' ] + args, stdout=subprocess.PIPE) stdout, stderr = p.communicate() |