Send some rc file options to the WebTiles client

Player's options are always sent on the game start, by the process
itself. They are also sent to any joining spectators.

Spectators also receive their own config which is generated by running
--print-webtiles-options.

Also added a simple options module to JavaScript. Since all the options
are received on game start the code can assume that the values are
always there and have been validated by the server side code.

1 files changed, 2 insertions, 0 deletions

diff --git a/crawl-ref/source/tileweb.h b/crawl-ref/source/tileweb.h
index 2ba044445b..6caf91aa22 100644
--- a/crawl-ref/source/tileweb.h
+++ b/crawl-ref/source/tileweb.h
@@ -131,6 +131,7 @@ public:
     void pop_menu();
     void close_all_menus();
 
+    string get_message();
     void write_message(PRINTF(1, ));
     void finish_message();
     void send_message(PRINTF(1, ));
@@ -276,6 +277,7 @@ protected:
     player_info m_current_player_info;
 
     void _send_version();
+    void _send_options();
 
     void _send_everything();