Update dependencies (#580)

rv-jenkins · web-flow · commit 2680b07add83 · 2019-11-29T12:26:26.000-06:00
* web3: add JSON-RPC_putResponseError

* deps/plugin: update submodule
diff --git a/deps/plugin b/deps/plugin
@@ -1 +1 @@
-Subproject commit 5f0f8962b1d51a9ce3b5312fd5ef8b8aafd186ab
+Subproject commit fb108c4e16b1899d37d072dc50639b7b0875a2a4
diff --git a/web3.md b/web3.md
@@ -215,6 +215,9 @@ WEB3 JSON RPC
     syntax K ::= #putResponse(JSON, Int) [function, hook(JSON.write)]
  // -----------------------------------------------------------------
 
+    syntax IOJSON ::= #putResponseError ( JSON ) [klabel(JSON-RPC_putResponseError), symbol]
+ // ----------------------------------------------------------------------------------------
+
     syntax KItem ::= #loadRPCCall(IOJSON)
  // -------------------------------------
     rule <k> #loadRPCCall({ _ } #as J) => #checkRPCCall ~> #runRPCCall ... </k>
