search

sjstein / R8DIUM

A discord bot to manage individual run8 users
GNU General Public License v3.0
2 stars 0 forks source link

77 restart server #119

Closed sjstein closed 5 months ago

sjstein commented 5 months ago

cleaned up some messages regarding PIDs