DB: Nový stav jobu internal_error

db/db.ddl

@@ -329,7 +329,8 @@ CREATE TYPE job_state AS ENUM (
 	'ready',
 	'running',
 	'done',				-- Hotovo, out_json a out_file jsou platné
-	'failed'			-- Interní chyba při zpracování, viz log
+	'failed',			-- Chyba při zpracování
+	'internal_error'		-- Interní chyba při zpracování (viz log)
 );
 
 CREATE TABLE jobs (

db/upgrade-20211130.sql

@@ -6,4 +6,6 @@ ALTER TABLE papers ADD COLUMN
 INSERT INTO users(user_id, email, first_name, last_name, is_admin, email_notify, last_login_at, note)
 	VALUES(0, 'system', 'Systém', 'OSMO', true, false, NOW(), 'Systémový uživatel');
 
+ALTER TYPE job_state ADD VALUE 'internal_error';
+
 ALTER TYPE job_type ADD VALUE 'fix_submits';

mo/db.py

@@ -712,6 +712,7 @@ class JobState(MOEnum):
     running = auto()
     done = auto()
     failed = auto()
+    internal_error = auto()
 
     def friendly_name(self) -> str:
         return job_state_names[self]
@@ -723,6 +724,7 @@ job_state_names = {
     JobState.running: 'zpracovává se',
     JobState.done: 'dokončena',
     JobState.failed: 'selhala',
+    JobState.internal_error: 'interní chyba',
 }