23 #ifndef __PLUGINS_OPENPRS_ASPECT_OPENPRS_ENV_MANAGER_H_ 24 #define __PLUGINS_OPENPRS_ASPECT_OPENPRS_ENV_MANAGER_H_ 26 #include <core/utils/lockptr.h> 45 const std::string &
mp_host,
unsigned short mp_tcp_port,
49 void create_kernel(
const std::string &kernel_name,
bool use_xoprs,
50 std::list<std::string> &extra_data_path,
bool utils_gdb_delay);
53 std::list<std::string>
kernels()
const;
58 {
return server_host_; }
63 {
return server_port_; }
76 const std::string server_host_;
77 const unsigned short server_port_;
78 const std::string mp_host_;
79 const unsigned short mp_port_;
85 std::map<std::string, fawkes::SubProcess *> kernels_;
OpenPRSKernelManager(const std::string &server_host, unsigned short server_tcp_port, const std::string &mp_host, unsigned short mp_tcp_port, Logger *logger, Clock *clock, Configuration *config)
Constructor.
const std::string & mp_host() const
Get mp-oprs hostname.
Fawkes library namespace.
void create_kernel(const std::string &kernel_name, bool use_xoprs, std::list< std::string > &extra_data_path, bool utils_gdb_delay)
Create a new kernel.
This is supposed to be the central clock in Fawkes.
std::list< std::string > kernels() const
Get map of kernels.
void destroy_kernel(const std::string &kernel_name)
Destroy the named kernel.
virtual ~OpenPRSKernelManager()
Destructor.
unsigned short mp_port() const
Get mp-oprs TCP port.
const std::string & server_host() const
Get oprs-server hostname.
Interface for configuration handling.
unsigned short server_port() const
Get oprs-server TCP port.