Mining is confirmed to still be operational. Future fixes should not require any additional restarts of the mining server. Unless something goes wrong, the only thing that will have intermittent service is the website itself. Shutting off the website provides a SIGNIFICANT boost to how fast operations can be done on the database, mostly because the website is essentially under 24/7 attack these days so there is a lot of database load all the time.
UPDATE: Problem has definitely been found, now working on fixing it. Pool servers are still online and functional, just keeping the website off a little bit longer.