get_task_name: Get a task name from a task.id

Description Usage

Description

Get a task name from a task.id

Usage

1
get_task_name(task.id)

pfistfl/OMLRandomBotv2 documentation built on May 25, 2019, 8:28 p.m.