支持彩色编译信息输出

hydro/handler/manage.js

@@ -33,7 +33,8 @@ class SystemDashboardHandler extends SystemHandler {
     }
 
     async postRestart() {
-        process.send({ event: 'restart' });
+        const count = await system.get('server.worker');
+        process.send({ event: 'restart', count });
         this.back();
     }
 }

hydro/handler/problem.js

@@ -183,7 +183,7 @@ class ProblemSubmitHandler extends ProblemDetailHandler {
             user.incDomain(domainId, this.user._id, 'nSubmit'),
         ]);
         this.response.body = { rid };
-        this.response.redirect = `/r/${rid}`;
+        this.response.redirect = this.url('record_detail', { rid });
     }
 }