diff options
| author | John Snow <jsnow@redhat.com> | 2020-10-06 19:58:11 -0400 |
|---|---|---|
| committer | John Snow <jsnow@redhat.com> | 2020-10-20 09:37:57 -0400 |
| commit | 714ac05a1996c0adf2740bce935f790d8824ea9e (patch) | |
| tree | 34c4beb90b1a662120ac60e8a622de8a65bc81e5 /chardev/char-pipe.c | |
| parent | 6cf4cce7cb489fb5ed7eb72124f6b0c422155ebc (diff) | |
python/qemu/console_socket.py: Clarify type of drain_thread
Mypy needs just a little help to guess the type here.
Signed-off-by: John Snow <jsnow@redhat.com>
Reviewed-by: Kevin Wolf <kwolf@redhat.com>
Message-id: 20201006235817.3280413-15-jsnow@redhat.com
Signed-off-by: John Snow <jsnow@redhat.com>
Diffstat (limited to 'chardev/char-pipe.c')
0 files changed, 0 insertions, 0 deletions