Skip to content

Cannot safely exit Pluto on Windows + git bash #2136

@tbeason

Description

@tbeason

Recently, meaning within the last few weeks, I cannot close Pluto anymore without experiencing a SEGFAULT. I use Windows Terminal + Git Bash for my Julia REPL experience and am on Windows 10. I start Julia, then import Pluto; Pluto.run() and Pluto runs without issue. When I am ready to close out, I return to the REPL and hit Ctrl+C. Nothing happens. If I continue to mash/hit Ctrl+C eventually I get

WARNING: Force throwing a SIGINT
Segmentation fault
Windows.PowerShell.2022-05-27.11-24-11.mp4

Metadata

Metadata

Assignees

No one assigned

    Labels

    HTTP/WSThe connection between backend and frontendbackendConcerning the julia server and runtimebugSomething isn't workinghelp welcomeIf you are experienced in this topic - let us know!wide audienceThis affects a wide audience of Pluto users and future Pluto users

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions