René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Give client bots a handler for pipe disconnection","articleBody":"This is a feature proposal which I also added to BWAPI: https://github.com/bwapi/bwapi/issues/873 -- it's a quality-of-life feature that has no particular need to synchronize with mainline BWAPI though, so I've added it here separately\r\n\r\nReal-time performance requirements in competition disincentivize bots from logging directly to disk. The incentive is instead to flush logs at the end.\r\n\r\nHowever, if a client bot's pipe connection to StarCraft is broken, no further event handlers are called, leaving the bot without a last-ditch chance to flush logs. \r\n\r\nProposed feature: An `onTermination()` handler which is always called after a game, even in event of disconnection. This handler is called with the expectation that BWAPI is no longer accessible. This would allow bots a chance to flush any logs if they haven't already.","author":{"url":"https://github.com/dgant","@type":"Person","name":"dgant"},"datePublished":"2021-05-19T16:39:19.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/71/JBWAPI/issues/71"}