diff options
| author | Paul Ollis <paul@cleversheep.org> | 2022-06-05 16:55:54 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2022-06-05 16:55:54 +0100 |
| commit | 6574577cacd393ab7591fc776ea060eebc939e55 (patch) | |
| tree | f583ca9957280e7086b8d14ef44127302829fd40 /src/proto/os_win32.pro | |
| parent | 1d97db3d987c05af88c30ad20f537bcf3024f9c1 (diff) | |
patch 8.2.5057: using gettimeofday() for timeout is very inefficientv8.2.5057
Problem: Using gettimeofday() for timeout is very inefficient.
Solution: Set a platform dependent timer. (Paul Ollis, closes #10505)
Diffstat (limited to 'src/proto/os_win32.pro')
| -rw-r--r-- | src/proto/os_win32.pro | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/proto/os_win32.pro b/src/proto/os_win32.pro index b3c85b7183..706cbd6d90 100644 --- a/src/proto/os_win32.pro +++ b/src/proto/os_win32.pro @@ -83,5 +83,7 @@ int get_conpty_type(void); int is_conpty_stable(void); int get_conpty_fix_type(void); void resize_console_buf(void); -char * GetWin32Error(void); +char *GetWin32Error(void); +void stop_timeout(void); +const int *start_timeout(long msec); /* vim: set ft=c : */ |