diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-08-11 22:29:32 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-08-11 22:29:32 (GMT) |
| commit | c5fb39875c9a6609868ef7295193840df183a6f4 (patch) | |
| tree | 985631a58e94173bb1a45c8c66545ceaca4f3a72 /shell/session | |
| parent | 72bf63709136bf26d73e43023b9b95af2e5737e9 (diff) | |
Do not open multiple copies of the same activity
Diffstat (limited to 'shell/session')
| -rw-r--r-- | shell/session/Emulator.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/shell/session/Emulator.py b/shell/session/Emulator.py index 4928ec4..2bb2b3a 100644 --- a/shell/session/Emulator.py +++ b/shell/session/Emulator.py @@ -14,7 +14,6 @@ def get_display_number(): s = socket.socket(socket.AF_INET, socket.SOCK_STREAM) try: s.connect(('127.0.0.1', 6000 + display_number)) - logging.info('Display %d is already in use. Trying next.' % (display_number)) s.close() display_number += 1 |