Delete HDF5 work list when unplug disk

src/core/disk_ops/disk_hdf5.c

@@ -500,6 +500,7 @@ static void starpu_hdf5_unplug(void *base)
 		HDF5_VAR_RUN = 0;
 		STARPU_PTHREAD_COND_BROADCAST(&HDF5_VAR_COND);
 		STARPU_PTHREAD_COND_WAIT(&HDF5_VAR_COND, &HDF5_VAR_MUTEX);
+		_starpu_hdf5_work_list_delete(HDF5_VAR_WORK_LIST);
 		/* the internal thread is deleted */
 #ifndef H5_HAVE_THREADSAFE
 	}