Implemented file sharing checks in the server.
Added set file time server request.
Overall clean up of the file handling (DOS device handling is now
broken, should be redone).

diff --git a/server/event.c b/server/event.c
index 7a400ef..a6ca099 100644
--- a/server/event.c
+++ b/server/event.c
@@ -34,6 +34,7 @@
     no_read_fd,
     no_write_fd,
     no_flush,
+    no_get_file_info,
     event_destroy
 };
 
@@ -103,7 +104,9 @@
 {
     struct event *event = (struct event *)obj;
     assert( obj->ops == &event_ops );
-    printf( "Event manual=%d signaled=%d\n", event->manual_reset, event->signaled );
+    fprintf( stderr, "Event manual=%d signaled=%d name='%s'\n",
+             event->manual_reset, event->signaled,
+             get_object_name( &event->obj ) );
 }
 
 static int event_signaled( struct object *obj, struct thread *thread )