Yaroslav Shepilov

Probably it's a big in a new version. Which version are you using?

Hi @Stjefan the button shouldn't stay gray, that's the main issue. The problem with windows is that there is no easy python way to gracefully kill child processes. However forceful...

Hi @Obaq-web @Stjefan, I checked on the latest dev version, and kill button works fine for me. It's grey indeed, but it's clickable. I will change the button's color, to...

Hi @Stjefan could you share the script with me? Which I could use to reproduce the issue on my machine? If it would be some demo script, not related to...

Hi @Stjefan thanks a lot I think it could be still improved in script server. If stop button is there, it should work for all the cases :) By the...

Hi @Stjefan `if execution_id in self._executors:` should always return true, because elements are never removed from `self._executors` (only on server restart)

Hi @jost-balent sorry, I missed your question :( I'll leave an answer anyway. There are multiple things here: - you are starting the container with a `-d` option (detached). So...

Hi @raszuk thanks for reporting. It's not completely a bug: it's a mix between UX and expected behaviour in 80% cases. There are 20% cases, when only a single character...

Hi @raszuk , thanks for reporting. Regarding the filename, this one is a duplicate: https://github.com/bugy/script-server/issues/250 May be you can update the ticket, to be only about "copy" feature?

I guess only copy 😅 there should be a ticket for deletion already