mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
backend work for persistent chat rooms
This commit is contained in:
@@ -1205,6 +1205,8 @@ use_interactive = True
|
||||
#enable_communication_server = False
|
||||
#communication_server_host = http://localhost
|
||||
#communication_server_port = 7070
|
||||
# persistent_communication_rooms is a comma-separated list of rooms that should be always available.
|
||||
#persistent_communication_rooms =
|
||||
|
||||
|
||||
# ---- Galaxy External Message Queue -------------------------------------------------
|
||||
|
||||
@@ -222,6 +222,7 @@ class Configuration( object ):
|
||||
self.enable_communication_server = string_as_bool( kwargs.get( 'enable_communication_server', 'False' ) )
|
||||
self.communication_server_host = kwargs.get( 'communication_server_host', 'http://localhost' )
|
||||
self.communication_server_port = int( kwargs.get( 'communication_server_port', '7070' ) )
|
||||
self.persistent_communication_rooms = listify( kwargs.get( "persistent_communication_rooms", [] ), do_strip=True )
|
||||
# External Service types used in sample tracking
|
||||
self.external_service_type_path = resolve_path( kwargs.get( 'external_service_type_path', 'external_service_types' ), self.root )
|
||||
# Tasked job runner.
|
||||
|
||||
Reference in New Issue
Block a user