Changes between Version 21 and Version 22 of WikiStart


Ignore:
Timestamp:
03/12/19 15:34:10 (6 years ago)
Author:
wouter
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v21 v22  
    2929Clients can receive the list of available profiles as follows
    3030* create a websocket to the server at {{{ws:...profilesserver/websocket/liststream}}}
    31 * The server sends the clients a JSON map, with the keys being the URI of the  element containing a GeneralPartyInfo object.
     31* The server sends the clients a JSON map. The keys in the map are the websocket URI of the  domain description. The values in the map are a list of available profiles for this domain, again websocket URIs. This map looks like this in JSON
     32{{{
     33 {"ws://...:8080/profilesserver/websocket/get/jobs":
     34   [  "ws://...:8080/profilesserver/websocket/get/jobs/jobs1",
     35      "ws://...:8080/profilesserver/websocket/get/jobs/jobs2"
     36   ]
     37 }
     38}}}
    3239* A new, full list is sent every time something changes in the list.
    3340
     
    3946
    4047== Get a profile
    41 Clients can get the profile or domain description by creating a websocket to the address contained in the received profiles list (above)
     48Clients can get the profile or domain description as follows
     49* create a websocket to the address contained in the received profiles list (above).
     50* The websocket receives the profile from the server in json format.
     51* parse the json format either as Profile or as Domain, see the java example below.
     52
     53
     54
    4255
    4356= Downloading a profile programatically
    44 To download a profile in your agent, create a websocket and fetch the profile.
     57This section gives an example on how to use the websocket to get a profile. To download a profile in your agent, create a websocket and fetch the profile.
    4558
    4659