blob: 334ac94850eb49ac14cf5e426325eea421ab82ac (
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.5.orig/plwm/inspect.py plwm-2.5/plwm/inspect.py
--- plwm-2.5.orig/plwm/inspect.py 2007-06-29 13:30:28.000000000 +0200
+++ plwm-2.5/plwm/inspect.py 2007-06-29 14:36:43.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
