Added process_id_t and thread_it_t types to the server interface
instead of using void*, and removed a number of type casts.
diff --git a/server/debugger.c b/server/debugger.c
index 409adc3..ba08bd2 100644
--- a/server/debugger.c
+++ b/server/debugger.c
@@ -593,8 +593,8 @@
size_t size = get_reply_max_size();
event->state = EVENT_SENT;
event->sender->debug_event = event;
- reply->pid = event->sender->process;
- reply->tid = event->sender;
+ reply->pid = get_process_id( event->sender->process );
+ reply->tid = get_thread_id( event->sender );
if (size > sizeof(debug_event_t)) size = sizeof(debug_event_t);
set_reply_data( &event->data, size );
}