diff --git a/index.html b/index.html index a5e3fa0d0..779c5addd 100644 --- a/index.html +++ b/index.html @@ -1186,6 +1186,14 @@
script timeout
+ A session has an associated executable script map. +
A session has an associated list of active input sources.
A session has an associated input state table. @@ -5871,7 +5881,38 @@
+ An executable script is an abstraction used to + identify a script when it is transported via the + protocol, between remote and + local ends. + + Each script may include an optional associated executable script name + that uniquely identifies the script within the current session. + + Each session maintains an ordered map executable script map, + with each entry having a key of an executable script name + and a value of an exeuctable script. + This map is initially empty. + + To add an executable script to the session, + for executable script map, key executable script name, and value script, + set map[key] to value. + + To remove an executable script from the session, + for executable script map, key executable script name, and value script, + remove map[key]. + + To get a script with argument name, run the following steps: +
A collection is an Object @@ -6049,9 +6090,15 @@
script
from the parameters.
+ If script is set and name is set, + return error with error code invalid argument. +
If script is not a String, return error with error code invalid argument. +
If name is set let script be the result + of trying to get a script with argument name +
Let args be the result of
getting a property named args
from the parameters.
@@ -6153,6 +6200,10 @@
The remote end steps are:
Let name be the result of + getting a property named name + from the parameters. +
Let body and arguments be the result of trying to extract the script arguments from a request with argument parameters. @@ -6216,6 +6267,10 @@
The remote end steps are:
Let name be the result of + getting a property named name + from the parameters. +
Let body and arguments by the result of trying to extract the script arguments from a request with argument parameters. @@ -6281,7 +6336,45 @@
HTTP Method | +URI Template | +
---|---|
POST | +/session/{session id}/execute/pin | +
The remote end steps are: + +
Let name be the result of + getting a property named name + from the parameters. + +
Let script be the result of + getting a property named script + from the parameters. + +
If script is undefined or is not a String, + return error with error code invalid argument. + +
If name is undefined or is not a String, + return error with error code invalid argument. + +
If name is equal to a key in the executable script map + remove the executable script from the session + +
add the executable script to the session. + +