Add basic 'kill' requesting.
This commit is contained in:
parent
6dcc90f47d
commit
8719371bd2
|
@ -2,7 +2,8 @@ import { npm_package_version } from "$env/static/private";
|
||||||
|
|
||||||
export const queryMode = {
|
export const queryMode = {
|
||||||
REAL_TIME: 'realTime',
|
REAL_TIME: 'realTime',
|
||||||
ONE_SHOT: 'oneShot'
|
ONE_SHOT: 'oneShot',
|
||||||
|
KILL: 'kill'
|
||||||
}
|
}
|
||||||
|
|
||||||
export const backendAddressAndPort = 'localhost:3000'
|
export const backendAddressAndPort = 'localhost:3000'
|
||||||
|
|
|
@ -93,6 +93,9 @@ export const killQuery = async ({ }) => {
|
||||||
runTestQuery = false
|
runTestQuery = false
|
||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
ws.send(JSON.stringify({
|
||||||
|
mode: queryMode.KILL,
|
||||||
|
}))
|
||||||
}
|
}
|
||||||
|
|
||||||
// noinspection JSUnusedGlobalSymbols
|
// noinspection JSUnusedGlobalSymbols
|
||||||
|
|
Loading…
Reference in New Issue