TaskPoolSerializer.dump

Dump the current contents of the task pool to disk. If the task pool is empty then no file will be created.

Uses ocean.io.device.File instead of ocean.io.device.TempFile due to issues copying across partitions in the AUFS storage driver.

size_t dump(TaskPoolT task_pool, cstring dump_file_path)
class TaskPoolSerializer
size_t
dump
(
TaskPoolT
)
(
TaskPoolT task_pool
,
cstring dump_file_path
)
size_t dump(TaskPoolT task_pool, OutputStream stream)

Parameters

task_pool TaskPoolT: The task pool to dump to disk.
dump_file_path cstring: Dump current active tasks to the file path.

Return Value

Type: size_t

The number of items dumped to disk.

Throws

Exception on failure to create file.

Meta

Source

See Implementation

ocean task util TaskPoolSerializer TaskPoolSerializer functions