/usr/share/mediawiki2latex/processTimer.py is in mediawiki2latexguipyqt 1.5-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 | licence={}
licence['en']="""\
processTimer.py version %s:
Defines a timer which will launch a process at every available opportunity
Copyright (C)2014 Georges Khaznadar <georgesk@debian.org>
This program is free software: you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation, either version 2 of the
License, or (at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see
<http://www.gnu.org/licenses/>.
"""
from PyQt5.QtCore import *
from PyQt5.QtWidgets import *
class processTimer(QTimer):
"""
This class launches a process defined in a sequenceApp at each
opportunity
"""
def __init__(self, parent):
"""
the constructor.
@param parent a sequenceApp which maintains the process list and index
"""
QTimer.__init__(self, parent)
self.timeout.connect(self.idleProcess)
def idleProcess(self):
"""
callback for the timer.Starts a process in the list if
one of them is to be started. Otherwise the application
is closed, after a warning message.
"""
self.parent().idleTick.emit()
|