diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-15 15:07:59 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-15 15:07:59 (GMT) |
commit | ed303285a8873e9c91186fee372d101a87dbd99e (patch) | |
tree | 127801d3551ebc350c71176b237848f72a3b50fc /shell | |
parent | bb2ba6da39882d3438fc8870d298bed19ffb204c (diff) |
Close the socket once we are done
Diffstat (limited to 'shell')
-rw-r--r-- | shell/Emulator.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell/Emulator.py b/shell/Emulator.py index 2e3dc77..21308a4 100644 --- a/shell/Emulator.py +++ b/shell/Emulator.py @@ -21,6 +21,7 @@ class XephyrProcess(Process): 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 retries -= 1 |