Le serveur HttpWebSocket
Il est possible d'activer un serveur Http permettant de publier des pages statiques ainsi qu'un serveur WebSocket permettant de publier les changements des données du serveur. L'activation se fait au niveau du fichier <VKServer.ini> dans la section [Http]. Le mot clef Enabled=1 doit être défini. Il faut également que la licence permette cette option. Le serveur WebSocket transmet les modifications des données du serveur sous la forme de messages JSON. Il peut également recevoir des commandes sous le même format.
Les mots clef
Dans la section [http], les mots clef suivants sont disponibles:
|
Mot clef |
Type |
Description |
|
Enabled |
Boolean |
Vrai si la fonctionnalité est activée. |
|
BaseHttpURL |
String |
Adresse de base du serveur http |
|
HttpPort |
Integer |
Numéro du port http |
|
BaseWSURL |
String |
Adresse de base du serveur Websocket. Par défaut, l'adresse de base est /websocket |
|
WSPort |
Integer |
Numéro du port WebSocket. Par défaut, le port du WebSocket sera le même que le port http |
|
RootPath |
String |
Adresse du répertoire dans lequel les fichiers des pages htlm sont sauvegardés. Par défaut, definitionpath+\www |
|
DomainName |
String |
Nom du domain. Par défaut, + |
Exemple de définition:
[HTTP]
Enabled=1
httpPort=8484