Utilities/BackgroundService.py

changeset 6048
82ad8ec9548c
parent 5901
96bb9e46ec89
child 6188
5a6ae3be31e6
equal deleted inserted replaced
6047:39586a2de99d 6048:82ad8ec9548c
1 # -*- coding: utf-8 -*- 1 # -*- coding: utf-8 -*-
2 2
3 # Copyright (c) 2013 - 2017 Detlev Offenbach <detlev@die-offenbachs.de> 3 # Copyright (c) 2013 - 2018 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