| 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, |
