Julia'da bir görevi/korotayı nasıl öldürebilirim?

Question

using HttpServer 

http = HttpHandler() do request::Request, response::Response 
    show(request) 
    Response("Hello there") 
end 

http.events["error"] = (client, error) -> println(error) 
http.events["listen"] = (port) -> println("Listening on $port") 
server = Server(http) 

t = @async run(server, 3000) 

Bu, basit bir küçük web sunucusunu senkronize olmayan bir şekilde başlatır. Sorun şu ki nasıl durduğum hakkında hiçbir fikrim yok. Julia dokümantasyonunu inceledim ve bu görevi kuyruktan kaldıracak bir işlev bulmaya çalışıyorum (kill, interrupt, vs.) ama hiçbir şey işe yaramıyor gibi görünüyor.

Bu görevi nasıl öldürebilirim?

Answer 1

Özel olarak bir görevi sonlandırmak için resmi bir yol göremiyorum, ancak genel bir çözüm beklemede olan bir istisna ile hemen zamanlama yapmanıza olanak veren the addition of throwto, olduğunu düşünüyorum.

... 
t = @async run(server, 3000) 
... 
ex = InterruptException() 
Base.throwto(t, ex) 
close(http.sock) # ideally HttpServer would catch exception to cleanup