L4Re/departure

Changeset

553:9bf4d6f92b33
552:2a38d78cb43d
551:e83cefef2cd7
2023-03-28 Paul Boddie raw files shortlog changelog graph Updated the file opening test.
libext2fs_blockserver/lib/src/blockserver_io.c (file) 
     1.1 --- a/libext2fs_blockserver/lib/src/blockserver_io.c	Tue Mar 28 15:56:45 2023 +0200
     1.2 +++ b/libext2fs_blockserver/lib/src/blockserver_io.c	Tue Mar 28 18:54:01 2023 +0200
     1.3 @@ -133,7 +133,7 @@
     1.4  
     1.5    /* NOTE: May want a more appropriate error code. */
     1.6  
     1.7 -  if (file == NULL)
     1.8 +  if (!client_opened(file))
     1.9      return EXT2_ET_BAD_DEVICE_NAME;
    1.10  
    1.11    return blockserver_open_channel(name, file, flags, channel, blockserver_io_manager);