with AWS.Config;
-with AWS.Config.Set;
+with AWS.Config.Ini;
with AWS.Server;
with Handlers;
Server_Config: AWS.Config.Object;
Web_Server: AWS.Server.HTTP;
begin
- Server_Config := AWS.Config.Get_Current;
- AWS.Config.Set.Session(Server_Config, True);
- AWS.Config.Set.Server_Host(Server_Config, "localhost");
- AWS.Config.Set.Server_Port(Server_Config, 18400);
-
- AWS.Config.Set.Session_Lifetime(1800.0);
- AWS.Config.Set.Session_Cleanup_Interval(3600.0);
+ AWS.Config.Ini.Read(Server_Config, "nine_q_config.ini");
AWS.Server.Start(Web_Server => Web_Server,
Dispatcher => Handlers.Get_Dispatchers,