Plugins/CheckerPlugins/SyntaxChecker/__init__.py@81278aff6af9
Plugins/CheckerPlugins/SyntaxChecker/__init__.py
Thu, 23 Apr 2015 20:05:38 +0200
- author
- Detlev Offenbach <detlev@die-offenbachs.de>
- date
- Thu, 23 Apr 2015 20:05:38 +0200
- changeset 4235
- 81278aff6af9
- parent 4021
-
195a471c327b
- child 4631
-
5c1a96925da4
- permissions
- -rw-r--r--
Fixed an issue in the batch checker cancel function leading to the function not working if the background jobs had finished already.
# -*- coding: utf-8 -*-
# Copyright (c) 2007 - 2015 Detlev Offenbach <detlev@die-offenbachs.de>
#
"""
Package containing the Syntax Checker plugin.
"""