Utilities/BackgroundService.py

changeset 4021
195a471c327b
parent 3821
8731f4bf0704
child 4218
f542ad1f76c5
equal deleted inserted replaced
4020:ea66934c7d74 4021:195a471c327b
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 2
3 # Copyright (c) 2013 - 2014 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2013 - 2015 Detlev Offenbach <detlev@die-offenbachs.de>
4 # 4 #
5 # pylint: disable=C0103 5 # pylint: disable=C0103
6 6
7 """ 7 """
8 Module implementing a background service for the various checkers and other 8 Module implementing a background service for the various checkers and other

eric ide

mercurial