diff options
Diffstat (limited to 'osdep')
-rw-r--r-- | osdep/io.c | 8 | ||||
-rw-r--r-- | osdep/io.h | 1 |
2 files changed, 9 insertions, 0 deletions
diff --git a/osdep/io.c b/osdep/io.c index 5952f21980..26889189cf 100644 --- a/osdep/io.c +++ b/osdep/io.c @@ -85,6 +85,14 @@ int mp_make_wakeup_pipe(int pipes[2]) } #endif +void mp_flush_wakeup_pipe(int pipe_end) +{ +#ifndef __MINGW32__ + char buf[100]; + (void)read(pipe_end, buf, sizeof(buf)); +#endif +} + #ifdef _WIN32 #include <windows.h> diff --git a/osdep/io.h b/osdep/io.h index 541e36aeea..333ed4f808 100644 --- a/osdep/io.h +++ b/osdep/io.h @@ -47,6 +47,7 @@ bool mp_set_cloexec(int fd); int mp_make_cloexec_pipe(int pipes[2]); int mp_make_wakeup_pipe(int pipes[2]); +void mp_flush_wakeup_pipe(int pipe_end); #ifdef _WIN32 #include <wchar.h> |