Changes between Version 21 and Version 22 of WikiStart
- Timestamp:
- 03/12/19 15:34:10 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v21 v22 29 29 Clients can receive the list of available profiles as follows 30 30 * 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 }}} 32 39 * A new, full list is sent every time something changes in the list. 33 40 … … 39 46 40 47 == 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) 48 Clients 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 42 55 43 56 = Downloading a profile programatically 44 T o download a profile in your agent, create a websocket and fetch the profile.57 This 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. 45 58 46 59