rail_user_queue_manager¶

Contents:

Summary
Types
- Message types
- Service types

Summary ¶

rail_user_queue_manager¶

BuildtoolDepends:
Version:	0.0.2
Description:	Server Side ROS Queue Node
Maintainers:	David Kent <davidkent AT wpi DOT edu> Russell Toris <rctoris AT wpi DOT edu>
Licenses:	BSD
Urls:	website<http://ros.org/wiki/queue_manager> bugtracker<https://github.com/WPI-RAIL/queue_manager/issues> repository<https://github.com/WPI-RAIL/queue_manager>
Authors:	Peter Mitrano <pdmitrano AT wpi DOT edu>
BuildDepends:	`message_generation` `roscpp`
	`catkin`
BuildExportDepends:
	`message_runtime` `roscpp`
ExecDepends:	`message_runtime` `roscpp`

Types ¶

Message types ¶

rail_user_queue_manager/UserStatus
rail_user_queue_manager/Queue

rail_user_queue_manager/UserStatus¶

Field:	user_id (uint32) – wait_time (duration) – time_left (duration) –

uint32 user_id      # The user ID
duration wait_time  # Estimated wait time
duration time_left  # Time left for active user

rail_user_queue_manager/Queue¶

Field:	queue[] (rail_user_queue_manager/UserStatus) –

UserStatus[] queue  # The main queue information

Service types ¶

rail_user_queue_manager/UpdateQueue

rail_user_queue_manager/UpdateQueue¶

Field (Request):
	user_id (uint32) – enqueue (bool) – study_time (uint32) –

uint32 user_id     # The user ID
bool enqueue       # True to enqueue, false to dequeue
uint32 study_time  # Time in seconds this user gets if enqueing
---