Delay before kill

[99Arrzel]

trafficstars

I have a problem, Windows 11 Pro 22621

thread 'main' panicked at 'failed to bind listener: Os { code: 10048, kind: AddrInUse, message: "Solo se permite un uso de cada dirección de socket (protocolo/dirección de red/puerto)" }', C:\Users\afcar\.cargo\registry\src\github.com-1ecc6299db9ec823\astra-0.1.3\src\server.rs:108:58

In the part of bench-bot, seems that kill is not fast enough Line 185 let _ = server.kill(); //This only works with a delay I just added delay before killing and now it works thread::sleep(Duration::from_secs(5)); This should be a PR but I'm not sure, anyways if someone has this problem it's a simple fix

[programatik29]

Probably we should fix it the right way. Like check if process is killed before spawning new one.