diff options
| author | Antonio Gallo <tonicucoz@gmail.com> | 2011-05-04 15:35:59 +0000 |
|---|---|---|
| committer | Antonio Gallo <tonicucoz@gmail.com> | 2011-05-04 15:35:59 +0000 |
| commit | 2c3a045176c399f9c3d93210a1cc663bb92acd3e (patch) | |
| tree | 1cac611d9c2eacf686a128e22e7919c70fb1b5e1 | |
| parent | c1553467a6597aa516e0351fade8a12dcf3d06e4 (diff) | |
h-client:improved the way pci devices are detected
| -rw-r--r-- | h-client/hclient.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/h-client/hclient.py b/h-client/hclient.py index 8401c81..17a1bb7 100644 --- a/h-client/hclient.py +++ b/h-client/hclient.py @@ -634,6 +634,8 @@ class hclient: def delete_event(self, widget, event, data=None): + self.client.logout() + os.system('rm -f tmp/cookie') gtk.main_quit() return False |