sourcebots / robot-api

(Legacy) API to interface with robotd
http://docs.sourcebots.co.uk/api/
MIT License
4 stars 1 forks source link

Explicit Robot and Board close handling #44

Closed PeterJCLaw closed 6 years ago

PeterJCLaw commented 6 years ago

Tidy how the Robot class closes its Boards and how they are closed.

This fixes an issue where previously nothing actually happened in Robot.close (see my comment for details).