diff options
| author | Olle Lundberg <geek@nerd.sh> | 2014-10-16 17:20:20 +0200 |
|---|---|---|
| committer | Jeff Forcier <jeff@bitprophet.org> | 2014-12-17 14:57:32 -0800 |
| commit | 05030b2d5e63349c6abacd1e3a65c70faadbb35f (patch) | |
| tree | cd4af72f3736e11805f7a0450b39455e6672d0f0 /demos | |
| parent | 14b517d3c131fd508e287fee1e09c632b6faa615 (diff) | |
Use modern api to check if event is set.
Since we are a python2.6+ code base now, we want to be as forward
compatible as possible.
Diffstat (limited to 'demos')
| -rw-r--r-- | demos/demo_server.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demos/demo_server.py b/demos/demo_server.py index 5b3d5164..c4af9b10 100644 --- a/demos/demo_server.py +++ b/demos/demo_server.py @@ -159,7 +159,7 @@ try: print('Authenticated!') server.event.wait(10) - if not server.event.isSet(): + if not server.event.is_set(): print('*** Client never asked for a shell.') sys.exit(1) |