starred/windmill
1
0
Fork 0
mirror of https://github.com/windmill-labs/windmill.git synced 2026-09-13 16:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix autowebsocket + update tooltip socket

Browse Source
This commit is contained in:
Ruben Fiszel
2022-08-21 23:50:40 +02:00
parent 35277160a6
commit dce87d77d7
3 changed files with 27 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
frontend/src/lib/components/Editor.svelte
+7 -2
View File
@@ -345,11 +345,16 @@
websocketInterval && clearInterval(websocketInterval)
websocketInterval = setInterval(() => {
console.log('websocketInterval')
console.log(
websocketInterval,
document.visibilityState,
new Date().getTime() - lastWsAttempt.getTime(),
nbWsAttempt
)
if (document.visibilityState == 'visible') {
if (
!lastWsAttempt ||
(lastWsAttempt.getTime() - new Date().getTime() > 60000 && nbWsAttempt < 2)
(new Date().getTime() - lastWsAttempt.getTime() > 60000 && nbWsAttempt < 2)
) {
if (!websocketAlive.black && !websocketAlive.deno && !websocketAlive.pyright) {
console.log('reconnecting to language servers')
frontend/src/lib/script_helpers.ts
+2 -2
View File
@@ -38,8 +38,8 @@ export const DENO_INIT_CODE = `// reload the smart assistant on the top right if
export async function main(
a: number,
b: "my" | "enum",
c: { nested: "object" },
d: string = "default arg",
d = "inferred type string from default arg",
c = { nested: "object" },
//e: wmill.Base64
) {
// let x = await wmill.getVariable('u/user/foo')
frontend/src/routes/scripts/get/[...hash].svelte
+18 -12
View File
@@ -303,34 +303,40 @@
<h3 class="whitespace-nowrap mt-2">
Webhook to run this script and get job's uuid as response
<Tooltip
>Send a POST http request with a token as bearer token and the args respecting the
corresponding jsonschema as payload. To create a permanent token, go to your user
setting by clicking your username on the top-left.</Tooltip
>Send a POST http request with a token as bearer token (or pass it as query arg 'token')
and the args respecting the corresponding jsonschema as payload. To create a permanent
token, go to your user setting by clicking your username on the top-left.</Tooltip
>
</h3>
<pre><code
>By hash: <a href="/api/w/{$workspaceStore}/jobs/run/h/{script?.hash}"
>/api/w/{$workspaceStore}/jobs/run/h/{script?.hash}</a
>By hash: <a
href="//{$page.url
.hostname}/api/w/{$workspaceStore}/api/w/{$workspaceStore}/jobs/run/h/{script?.hash}"
>{$page.url
.hostname}/api/w/{$workspaceStore}/api/w/{$workspaceStore}/jobs/run/h/{script?.hash}</a
></code
></pre>
<pre><code
>By path: <a href="/api/w/{$workspaceStore}/jobs/run/p/{script?.path}"
>/api/w/{$workspaceStore}/jobs/run/p/{script?.path}</a
>By path: <a
href="//{$page.url.hostname}/api/w/{$workspaceStore}/jobs/run/p/{script?.path}"
>{$page.url.hostname}/api/w/{$workspaceStore}/jobs/run/p/{script?.path}</a
></code
></pre>
<h3 class="whitespace-nowrap mt-2">
Endpoint to run this script and get job's result as response
<Tooltip
>Send a POST http request with a token as bearer token and the args respecting the
corresponding jsonschema as payload. To create a permanent token, go to your user
setting by clicking your username on the top-left.</Tooltip
>Send a POST http request with a token as bearer token (or pass it as query arg 'token')
and the args respecting the corresponding jsonschema as payload. To create a permanent
token, go to your user setting by clicking your username on the top-left.</Tooltip
>
</h3>
<pre><code
><a href="/api/w/{$workspaceStore}/jobs/run_wait_result/p/{script?.path}"
>/api/w/{$workspaceStore}/jobs/run_wait_result/p/{script?.path}</a
><a
href="//{$page.url
.hostname}/api/w/{$workspaceStore}/jobs/run_wait_result/p/{script?.path}"
>{$page.url.hostname}/api/w/{$workspaceStore}/jobs/run_wait_result/p/{script?.path}</a
></code
></pre>
</div>