server: Remove no longer used is_same_file() function.

server/file.c

@@ -265,12 +265,6 @@ done:
     return obj;
 }
 
-/* check if two file objects point to the same file */
-int is_same_file( struct file *file1, struct file *file2 )
-{
-    return is_same_file_fd( file1->fd, file2->fd );
-}
-
 static void file_dump( struct object *obj, int verbose )
 {
     struct file *file = (struct file *)obj;

server/file.h

@@ -136,7 +136,6 @@ extern const char *get_timeout_str( timeout_t timeout );
 extern struct file *get_file_obj( struct process *process, obj_handle_t handle,
                                   unsigned int access );
 extern int get_file_unix_fd( struct file *file );
-extern int is_same_file( struct file *file1, struct file *file2 );
 extern struct file *create_file_for_fd( int fd, unsigned int access, unsigned int sharing );
 extern struct file *create_file_for_fd_obj( struct fd *fd, unsigned int access, unsigned int sharing );
 extern void file_set_error(void);