diff options
author | Pedro Alves <pedro@codesourcery.com> | 2007-05-10 22:04:50 +0000 |
---|---|---|
committer | Pedro Alves <pedro@codesourcery.com> | 2007-05-10 22:04:50 +0000 |
commit | 6295949b4aa96a6a4134ab10e6fb3b899017f2de (patch) | |
tree | 724df79da952b70bcecf2a0b378bd778a3a16b6d /gdb/gdbserver/server.h | |
parent | abb2b892c20a80c4901384a172ecde13c6fe5c14 (diff) | |
download | gdb-6295949b4aa96a6a4134ab10e6fb3b899017f2de.tar.gz |
* server.h (check_remote_input_interrupt_request): New function.
* remote_utils.c (INVALID_DESCRIPTOR): New define.
(remote_desc): Initialize with INVALID_DESCRIPTOR.
(input_interrupt): Expose on USE_WIN32API too. Fix whitespace.
(check_remote_input_interrupt_request): New function.
* server.h (check_remote_input_interrupt_request): Declare.
* win32-low.(winapi_DebugBreakProcess,
winapi_GenerateConsoleCtrlEvent): New typedefs.
(get_child_debug_event): Lower Win32 debug event polling from 1 sec
to 250 ms.
(win32_wait): Check for remote interrupt request
with check_remote_input_interrupt_request.
(win32_request_interrupt): New function.
(win32_target_op): Set request_interrupt to win32_request_interrupt.
Diffstat (limited to 'gdb/gdbserver/server.h')
-rw-r--r-- | gdb/gdbserver/server.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/gdbserver/server.h b/gdb/gdbserver/server.h index d433f308378..b1ff238f4d6 100644 --- a/gdb/gdbserver/server.h +++ b/gdb/gdbserver/server.h @@ -161,6 +161,7 @@ void enable_async_io (void); void disable_async_io (void); void unblock_async_io (void); void block_async_io (void); +void check_remote_input_interrupt_request (void); void convert_ascii_to_int (char *from, unsigned char *to, int n); void convert_int_to_ascii (unsigned char *from, char *to, int n); void new_thread_notify (int id); |