jyelon 044bb89edf Implement autodeletion of players on logout

2024-03-04 16:33:23 -05:00

..

core

Implement autodeletion of players on logout

2024-03-04 16:33:23 -05:00

drv

Add invoke_choose and invoke_player to DrivenEngine. invoke_player is not fully implemented in World

2023-10-24 00:49:15 -04:00

wrap

Fix util::ostringstream, fix pretty-printing, stub out new globals

2023-03-05 01:51:25 -05:00