Pain, if you read the description in the control panel, you'll see that BF3 servers are never restarted if they are not empty.
Daslol, it could have just been a server crash, as those are very common with BF3.
That's not what I am reading.
Mine says something like if at midnight the server checks to see if the server was started the day before, and if not, it checks every 5 mins to see if the server is empty and if it is, then it restarts. If the server is not empty and it gets to 7am, it unconditionally restarts the server.
My understanding is that at 7am, the server will restart no matter what, unless you uncheck the box so to not force the restart.
I don't know what his setting are, but could have happened.