Skip to content
GitLab
Explore
Sign in
3pia
VISPA
VISPA web
Repository
vispa-web
vispa
extensions
codeeditor
workspace
__init__.py
Find file
Blame
History
Permalink
editor: check for running jobs before closing and really kill the job if wanted
· 249d31d2
ThorbenQuast
authored
Jan 15, 2015
249d31d2