This file is indexed.

/usr/share/pyshared/SCRIBES/FileModificationMonitor.py is in scribes 0.4~r543-2.

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
class Monitor(object):

	def __init__(self, editor):
		editor.response()
		self.__init_attributes(editor)
		editor.set_data("modified", False)
		self.__sigid1 = editor.connect("modified-file", self.__modified_cb)
		self.__sigid2 = editor.connect("quit", self.__quit_cb)
		editor.response()

	def __init_attributes(self, editor):
		self.__editor = editor
		return

	def __destroy(self):
		self.__editor.disconnect_signal(self.__sigid1, self.__editor)
		self.__editor.disconnect_signal(self.__sigid2, self.__editor)
		del self
		self = None
		return False

	def __modified_cb(self, editor, modified):
		self.__editor.set_data("modified", modified)
		return False

	def __quit_cb(self, *args):
		self.__destroy()
		return False