Skip to content

[Bug]: Julia Extension REPL Terminal not restored after code-server window reload #5389

Closed as not planned
@alyst

Description

@alyst

Is there an existing issue for this?

  • I have searched the existing issues

OS/Web Information

  • Web Browser: Chrome 103
  • Local OS: Windows 10
  • Remote OS: Ubuntu 18
  • Remote Architecture: amd64
  • code-server --version: 4.5.1

Steps to Reproduce

  1. open code-server
  2. install Julia v1.7.3 (latest stable) on the remote
  3. install Julia extension (currently v1.6.28, can also reproduce with v1.6.24)
  4. start Julia REPL
  5. start normal (e.g. bash) session. Check Julia process id in the list of processes (there would be two Julia processes: one running LanguageServer main.jl, the REPL one runs terminalserver.jl).
  6. reload code-server window/tab

Expected

Upon reload Julia REPL is preserved.
It was working with VS Code 4.2.0 (4.3.0 and 4.4.0 haver other problems in my setup, so I cannot test them) and Julia extension 1.6.24.

Actual

Julia REPL is not in the list of terminals, while the old Julia REPL process (the one that runs terminalserver.jl) is still running.

Logs

No response

Screenshot/Video

No response

Does this issue happen in VS Code or GitHub Codespaces?

  • I cannot reproduce this in VS Code.
  • I cannot reproduce this in GitHub Codespaces.

Are you accessing code-server over HTTPS?

  • I am using HTTPS.

Notes

No response

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions