Utilities/BackgroundService.py

changeset 4631
5c1a96925da4
parent 4566
a2e8f3c420ec
child 4997
6dfb9119c85b
equal deleted inserted replaced
4630:7b0e38956b5c 4631:5c1a96925da4
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 2
3 # Copyright (c) 2013 - 2015 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2013 - 2016 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