Truxton file is closed

This tells you if the file handle has been closed. If it has, you can no longer read bytes from it.

Syntax

int truxton_file_is_closed( uint64_t file_handle );

Parameters

file_handle

The handle created by the truxton_file_open_id or truxton_file_open_md5 call.

Return value

If file contents are not available, the return value will be 1, otherwise it will be zero.

Sample

void test_close(uint64_t truxton)
{
   uint64_t file = truxton_file_open_id(truxton, "5ed3aeb7-3da4-5f5c-8c8f-af5200000000");

   if ( file != 0 )
   {
      return;
   }

   truxton_file_close( file );

   if ( truxton_file_is_closed( file ) == 0 )
   {
      printf("Truxton file is broken. Can't close file.\n" );
   }

   truxton_file_free(file);
}