@momo2555/koppeliajs 0.0.131 → 0.0.132
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/scripts/console.js +2 -0
- package/package.json +1 -1
package/dist/scripts/console.js
CHANGED
|
@@ -185,6 +185,7 @@ export class Console {
|
|
|
185
185
|
}
|
|
186
186
|
/* Handle device event */
|
|
187
187
|
else if (type == MessageType.DEVICE_EVENT) {
|
|
188
|
+
console.log("receive device event ! handlers : " + this._deviceEventHandlers);
|
|
188
189
|
this._execDeviceEventHandlers(request.header.device, request.header.from_addr, request.event);
|
|
189
190
|
}
|
|
190
191
|
/* Handle device data */
|
|
@@ -227,5 +228,6 @@ export class Console {
|
|
|
227
228
|
this._deviceDataHandlers = [];
|
|
228
229
|
this._dataExchangeHandlers = [];
|
|
229
230
|
this._anyRequestHandlers = [];
|
|
231
|
+
console.log("destroy events event handlers : " + this._deviceEventHandlers);
|
|
230
232
|
}
|
|
231
233
|
}
|