Closed 46bit closed 7 years ago
I've decided not to implement this. Having player names as unique for each running of the server keeps the logs simple. But if keeping this it would be nice to dedupe clients a bit better than adding an underscore each time. I'm tempted to use _{}
where {}
is roman numerals counting upwards.
While it may be replaced by time of implementing this,
play_games
is already provided with a reference tonames
for this purpose.