More general approach to file descriptor types and flags.
diff --git a/server/trace.c b/server/trace.c
index d162045..79ca059 100644
--- a/server/trace.c
+++ b/server/trace.c
@@ -722,7 +722,8 @@
static void dump_get_handle_fd_reply( const struct get_handle_fd_reply *req )
{
fprintf( stderr, " fd=%d,", req->fd );
- fprintf( stderr, " type=%d", req->type );
+ fprintf( stderr, " type=%d,", req->type );
+ fprintf( stderr, " flags=%d", req->flags );
}
static void dump_set_file_pointer_request( const struct set_file_pointer_request *req )