Skip to main content

Ctrl+K

devctrl
prsctrl
prsctrl_gui
Device Management
Task System

devctrl
prsctrl
prsctrl_gui
Device Management
Task System

Section Navigation

devctrl.data
devctrl.devices
devctrl.gui
devctrl.resources
- devctrl.resources.get_resource_path
- devctrl.resources.get_resource_path_from
devctrl.task
- devctrl.task.base
  - devctrl.task.base.taskclass
  - devctrl.task.base.Task
- devctrl.task.tasks
devctrl.utility

devctrl
devctrl.utility
devctrl.utility.time

devctrl.utility.time#

Functions

duration_to_string

Convert a duration in seconds to a compact time string

previous

devctrl.utility.threading.ThreadWithExceptionSupport

next

devctrl.utility.time.duration_to_string

© Copyright 2026, Matthias Quintern.

Created using Sphinx 9.1.0.

Built with the PyData Sphinx Theme 0.20.0.