2012-10-23 22:55:44 +02:00
|
|
|
#ifndef remote_hh_INCLUDED
|
|
|
|
#define remote_hh_INCLUDED
|
|
|
|
|
|
|
|
#include "display_buffer.hh"
|
2013-01-10 18:54:40 +01:00
|
|
|
#include "event_manager.hh"
|
2013-04-09 20:05:40 +02:00
|
|
|
#include "user_interface.hh"
|
2012-10-23 22:55:44 +02:00
|
|
|
|
|
|
|
namespace Kakoune
|
|
|
|
{
|
|
|
|
|
2012-10-30 14:00:44 +01:00
|
|
|
struct peer_disconnected {};
|
2012-10-26 13:45:32 +02:00
|
|
|
|
2014-03-21 14:42:37 +01:00
|
|
|
struct connection_failed : runtime_error
|
|
|
|
{
|
|
|
|
connection_failed(const String& filename)
|
|
|
|
: runtime_error{"connect to " + filename + " failed"}
|
|
|
|
{}
|
|
|
|
};
|
|
|
|
|
2013-03-12 18:53:18 +01:00
|
|
|
// A remote client handle communication between a client running on the server
|
|
|
|
// and a user interface running on the local process.
|
2012-10-23 22:55:44 +02:00
|
|
|
class RemoteClient
|
|
|
|
{
|
|
|
|
public:
|
2013-03-13 19:59:39 +01:00
|
|
|
RemoteClient(int socket, std::unique_ptr<UserInterface>&& ui,
|
2012-12-18 21:20:36 +01:00
|
|
|
const String& init_command);
|
2012-10-23 22:55:44 +02:00
|
|
|
|
2013-03-13 19:59:39 +01:00
|
|
|
private:
|
2012-10-23 22:55:44 +02:00
|
|
|
void process_next_message();
|
|
|
|
void write_next_key();
|
|
|
|
|
|
|
|
std::unique_ptr<UserInterface> m_ui;
|
2012-10-26 16:14:51 +02:00
|
|
|
DisplayCoord m_dimensions;
|
2013-01-11 18:44:02 +01:00
|
|
|
FDWatcher m_socket_watcher;
|
2012-10-23 22:55:44 +02:00
|
|
|
};
|
2014-03-02 03:00:13 +01:00
|
|
|
std::unique_ptr<RemoteClient> connect_to(const String& session,
|
2013-03-13 19:59:39 +01:00
|
|
|
std::unique_ptr<UserInterface>&& ui,
|
|
|
|
const String& init_command);
|
|
|
|
|
2014-03-02 03:01:09 +01:00
|
|
|
void send_command(const String& session, const String& command);
|
|
|
|
|
2013-03-13 19:59:39 +01:00
|
|
|
struct Server : public Singleton<Server>
|
|
|
|
{
|
2013-09-25 20:04:52 +02:00
|
|
|
Server(String session_name);
|
2013-03-13 19:59:39 +01:00
|
|
|
~Server();
|
2013-09-25 20:04:52 +02:00
|
|
|
const String& session() const { return m_session; }
|
2013-03-13 19:59:39 +01:00
|
|
|
|
2014-01-27 20:53:17 +01:00
|
|
|
void close_session();
|
|
|
|
|
2013-03-13 19:59:39 +01:00
|
|
|
private:
|
2013-09-25 20:04:52 +02:00
|
|
|
String m_session;
|
2013-03-13 19:59:39 +01:00
|
|
|
std::unique_ptr<FDWatcher> m_listener;
|
|
|
|
};
|
2012-10-23 22:55:44 +02:00
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // remote_hh_INCLUDED
|
|
|
|
|