Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nextcloud/text.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulius Härtl <jus@bitgrid.net>2019-08-06 11:02:42 +0300
committernpmbuildbot[bot] <npmbuildbot[bot]@users.noreply.github.com>2019-08-06 11:44:32 +0300
commit9c82ad4fe3a62e4844b1ba1d47db8336d66dc9c8 (patch)
tree2478e2cdcb33d551ab68703b278b2db05d3880bd /js/highlight/jboss-cli.js
parent5458e8230720311a5780c7e942ec49521288479c (diff)
Always make sure to get the latest sendable steps when retrying
Signed-off-by: Julius Härtl <jus@bitgrid.net> Signed-off-by: npmbuildbot[bot] <npmbuildbot[bot]@users.noreply.github.com>
Diffstat (limited to 'js/highlight/jboss-cli.js')
-rw-r--r--js/highlight/jboss-cli.js4
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/jboss-cli.js b/js/highlight/jboss-cli.js
index 4384c5858..9de49fb7f 100644
--- a/js/highlight/jboss-cli.js
+++ b/js/highlight/jboss-cli.js
@@ -1,2 +1,2 @@
-(window.webpackJsonp=window.webpackJsonp||[]).push([[85],{170:function(e,n){e.exports=function(e){var n={className:"params",begin:/\(/,end:/\)/,contains:[{begin:/[\w-]+ *=/,returnBegin:!0,relevance:0,contains:[{className:"attr",begin:/[\w-]+/}]}],relevance:0};return{aliases:["wildfly-cli"],lexemes:"[a-z-]+",keywords:{keyword:"alias batch cd clear command connect connection-factory connection-info data-source deploy deployment-info deployment-overlay echo echo-dmr help history if jdbc-driver-info jms-queue|20 jms-topic|20 ls patch pwd quit read-attribute read-operation reload rollout-plan run-batch set shutdown try unalias undeploy unset version xa-data-source",literal:"true false"},contains:[e.HASH_COMMENT_MODE,e.QUOTE_STRING_MODE,{className:"params",begin:/--[\w\-=\/]+/},{className:"function",begin:/:[\w\-.]+/,relevance:0},{className:"string",begin:/\B(([\/.])[\w\-.\/=]+)+/},n]}}}}]);
-//# sourceMappingURL=jboss-cli.js.map?v=93260250c644e0d1d8f7 \ No newline at end of file
+(window.webpackJsonp=window.webpackJsonp||[]).push([[85],{167:function(e,n){e.exports=function(e){var n={className:"params",begin:/\(/,end:/\)/,contains:[{begin:/[\w-]+ *=/,returnBegin:!0,relevance:0,contains:[{className:"attr",begin:/[\w-]+/}]}],relevance:0};return{aliases:["wildfly-cli"],lexemes:"[a-z-]+",keywords:{keyword:"alias batch cd clear command connect connection-factory connection-info data-source deploy deployment-info deployment-overlay echo echo-dmr help history if jdbc-driver-info jms-queue|20 jms-topic|20 ls patch pwd quit read-attribute read-operation reload rollout-plan run-batch set shutdown try unalias undeploy unset version xa-data-source",literal:"true false"},contains:[e.HASH_COMMENT_MODE,e.QUOTE_STRING_MODE,{className:"params",begin:/--[\w\-=\/]+/},{className:"function",begin:/:[\w\-.]+/,relevance:0},{className:"string",begin:/\B(([\/.])[\w\-.\/=]+)+/},n]}}}}]);
+//# sourceMappingURL=jboss-cli.js.map?v=b2f71cbdba215f548148 \ No newline at end of file