wirc-frontend.git

@@ -22,11 +22,11 @@

 			</form>

 		</div>

 		<div id="wait">

-			<span>loading …</span>

+			<span>connecting …</span>

 		</div>

 		<div id="main">

 			<div id="head">

-				<button id="disconnect">exit</button>

+				<button id="disconnect">disconnect</button>

 			</div>

 			<div id="middle">

 				<ul class="pane" id="history"></ul>

@@ -1,11 +1,14 @@

 type int = number;

 type float = number;

+

 var _conf: any = null;

-var _state: (null | string) = null;

-var _channel: (null | string) = null;

-var _nickname: (null | string) = null;

-var _userhash: (null | string) = null;

+var _state: string = undefined;

+var _channel: string = undefined;

+var _nickname: string = undefined;

+var _userhash: string = undefined;

+var _id: (null | string) = null;

+

 function get_timestamp(): int

 {

@@ -29,7 +35,7 @@ async function backend_call(action: string, data: any): Promise<any>

 		`${_conf.backend.scheme}://${_conf.backend.host}:${_conf.backend.port.toFixed(0)}`,

 		{

 			"method": "POST",

-			"body": JSON.stringify({"action": action, "data": data}),

+			"body": JSON.stringify({"action": action, "id": _id, "data": data}),

 		}

 	);

 	if (response.ok) {

@@ -165,7 +177,7 @@ function setup_control(): void

 			let dom_channel: HTMLInputElement = document.querySelector<HTMLInputElement>("#channel");

 			const nickname: string = dom_nickname.value;

 			const channel: string = dom_channel.value;

-			await backend_call(

+			const id: string = await backend_call(

 				"connect",

 				{

 					"server": _conf["irc"]["server"],

@@ -173,6 +185,7 @@ function setup_control(): void

 					"nickname": nickname,

 				}

 			);

+			_id = id;

 			_channel = channel;

 			_nickname = nickname;

 			set_state("checking");

@@ -186,6 +199,7 @@ function setup_control(): void

 				null

 			);

 			set_state("offline");

+			_id = null;

 		}

 	);

 	document.querySelector("#main > form").addEventListener(

@@ -20,7 +20,7 @@ button, input[type="submit"]

 	color: hsl(@hue, 0%, 100%);

 	border: none;

-	border-radius: 4px;

+	border-radius: 2px;

 	padding: 8px;