Save job pid to the database and sing sigint to kill it when stopping so it stops immediatly.

ui/src/app/api/jobs/[jobID]/mark_stopped/route.ts

@@ -17,6 +17,7 @@ export async function GET(request: NextRequest, { params }: { params: { jobID: s
       stop: true,
       status: 'stopped',
       info: 'Job stopped',
+      pid: null,
     },
   });
 

ui/src/app/api/jobs/[jobID]/stop/route.ts

@@ -2,6 +2,7 @@ import { NextRequest, NextResponse } from 'next/server';
 import { PrismaClient } from '@prisma/client';
 
 const prisma = new PrismaClient();
+const isWindows = process.platform === 'win32';
 
 export async function GET(request: NextRequest, { params }: { params: { jobID: string } }) {
   const { jobID } = await params;
@@ -10,7 +11,10 @@ export async function GET(request: NextRequest, { params }: { params: { jobID: s
     where: { id: jobID },
   });
 
-  // update job status to 'running'
+  if (!job) {
+    return NextResponse.json({ error: 'Job not found' }, { status: 404 });
+  }
+
   await prisma.job.update({
     where: { id: jobID },
     data: {
@@ -19,5 +23,33 @@ export async function GET(request: NextRequest, { params }: { params: { jobID: s
     },
   });
 
+  // Send SIGINT to the process if we have a PID
+  if (job.pid != null) {
+    console.log(`Attempting to stop job ${jobID} with PID ${job.pid}`);
+    try {
+      if (isWindows) {
+        // Windows doesn't support SIGINT for arbitrary processes.
+        // Use taskkill with /T (tree) to send a CTRL+C-like termination.
+        const { execSync } = require('child_process');
+        execSync(`taskkill /PID ${job.pid} /T /F`, { stdio: 'ignore' });
+      } else {
+        process.kill(job.pid, 'SIGINT');
+      }
+      // if it killed it, mark it stopped in the database
+      await prisma.job.update({
+        where: { id: jobID },
+        data: {
+          status: 'stopped',
+          info: 'Job stopped',
+        },
+      });
+    } catch (e) {
+      // Process may have already exited — that's fine
+      console.error('Error sending signal to process:', e);
+    }
+  } else {
+    console.warn(`No PID found for job ${jobID}, cannot send stop signal`);
+  }
+
   return NextResponse.json(job);
 }