close should be safe to double call

madhephaestus · madhephaestus · commit ff10b2fab65f · 2024-03-20T10:41:52.000-04:00
diff --git a/src/main/java/org/mujoco/MuJoCoModelManager.java b/src/main/java/org/mujoco/MuJoCoModelManager.java
@@ -305,9 +305,11 @@ public long getTimestepMilliSeconds() {
 	}
 
 	public void close() {
-		connected = false;
-		MuJoCoLib.mj_deleteData(d);
-		MuJoCoLib.mj_deleteModel(m);
+		if(connected) {
+			connected = false;
+			MuJoCoLib.mj_deleteData(d);
+			MuJoCoLib.mj_deleteModel(m);
+		}
 	}
 
 	/**

Original file line number	Diff line number	Diff line change
`@@ -305,9 +305,11 @@ public long getTimestepMilliSeconds() {`
`305`	`305`	`}`
`306`	`306`
`307`	`307`	`public void close() {`
`308`		`- connected = false;`
`309`		`- MuJoCoLib.mj_deleteData(d);`
`310`		`- MuJoCoLib.mj_deleteModel(m);`
	`308`	`+ if(connected) {`
	`309`	`+ connected = false;`
	`310`	`+ MuJoCoLib.mj_deleteData(d);`
	`311`	`+ MuJoCoLib.mj_deleteModel(m);`
	`312`	`+ }`
`311`	`313`	`}`
`312`	`314`
`313`	`315`	`/**`