diff options
author | Frederic Crozat <fcrozat@suse.com> | 2014-06-12 15:01:37 +0200 |
---|---|---|
committer | Frederic Crozat <fcrozat@suse.com> | 2014-06-12 15:01:37 +0200 |
commit | e17f3b92025a6067874c41c6c7ce3cffedfb6afa (patch) | |
tree | 7fb4faca6889a42180c038621a459ed7b64b5efd | |
parent | 85704145ee1a83fccc1be59ca30d690d756acaad (diff) |
device-manager: only call ply_terminal_free
ply_terminal_free will call ply_terminal_close anyway and is guarded
against NULL terminal (ply_terminal_close is not).
-rw-r--r-- | src/libply-splash-core/ply-device-manager.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/libply-splash-core/ply-device-manager.c b/src/libply-splash-core/ply-device-manager.c index e9047086..8dce68b3 100644 --- a/src/libply-splash-core/ply-device-manager.c +++ b/src/libply-splash-core/ply-device-manager.c @@ -412,7 +412,6 @@ free_terminal (char *device, { ply_hashtable_remove (manager->terminals, device); - ply_terminal_close (terminal); ply_terminal_free (terminal); } |