To whom it may concern,
I accidentally set the tick speed to 100000 instead of 1000 and now my game is super laggy. I restarted my server and tried to put the command, but it wasn't going through. Is there a dev who can put the command in the server?( /gamerule randomTickSpeed 3).