blob: af22a96504a9bd2a5db2d8118750ac92930c966f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
diff -ur PLWM-2.6a.orig/plwm/inspect.py PLWM-2.6a/plwm/inspect.py
--- PLWM-2.6a.orig/plwm/inspect.py 2007-06-29 14:40:54.000000000 +0200
+++ PLWM-2.6a/plwm/inspect.py 2007-06-29 14:41:25.000000000 +0200
@@ -23,7 +23,7 @@
import sys
import traceback
import struct
-import whrandom
+import random
import cStringIO
InspectFileEventType = event.new_event_type()
@@ -75,7 +75,7 @@
# portnumber in a property on screen 0
addr, port = self.inspect_socket.getsockname()
- self.inspect_cookie = whrandom.randint(0, 0x7ffffffe)
+ self.inspect_cookie = random.randint(0, 0x7ffffffe)
self.default_screen.root.change_property(self.PLWM_INSPECT_SERVER,
self.PLWM_INSPECT_SERVER,
|
GitWeb
