We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e3ba5b1 commit 823daaeCopy full SHA for 823daae
package.json
@@ -1,6 +1,6 @@
1
{
2
"name": "jderobot-ide-interface",
3
- "version": "0.2.13",
+ "version": "0.2.14",
4
"main": "dist/main.js",
5
"typings": "dist/index.d.ts",
6
"files": [
src/components/StatusBar/StatusBar.tsx
@@ -228,7 +228,7 @@ const DefaultUniverseSelector = ({
228
};
229
230
const checkManager = () => {
231
- if (commsManager === null) {
+ if (commsManager === null || commsManager.getState() === "idle") {
232
error("The Robotics Backend is disconnected. Make sure to reconnect.");
233
throw Error("The Robotics Backend is disconnected. Make sure to reconnect.")
234
}
0 commit comments