Utilities/BackgroundService.py

changeset 5389
9b1c800daff3
parent 4997
6dfb9119c85b
child 5616
adcffadf4962
equal deleted inserted replaced
5388:1e7254b5c637 5389:9b1c800daff3
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 2
3 # Copyright (c) 2013 - 2016 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2013 - 2017 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