Issue · GitHub
Skip to content

Unknown option --reconnection-grace-time. #7665

Description

@MicahZoltu

Is there an existing issue for this?

  • I have searched the existing issues

OS/Web Information

  • Web Browser: N/A
  • Local OS: N/A
  • Remote OS: Ubuntu
  • Remote Architecture: amd64
  • code-server --version: v4.108.2

Steps to Reproduce

  1. Launch code-server and connect to it.
  2. Notice the warning during startup:

    [reconnection-grace-time] No CLI argument provided, using default: 10800000ms (10800s)

  3. Launch code-server --reconnection-grace-time 10800000.
  4. Notice you get the error

    error Unknown option --reconnection-grace-time

Expected

I can set the CLI argument that the application is suggesting I set.

Actual

I cannot set the CLI argument the application is suggesting I set.

Logs

See above.

Screenshot/Video

N/A

Does this bug reproduce in native VS Code?

I did not test native VS Code

Does this bug reproduce in VS Code web?

I did not test VS Code web

Does this bug reproduce in GitHub Codespaces?

I did not test GitHub Codespaces

Are you accessing code-server over a secure context?

  • I am using a secure context.

Notes

This is a fairly new feature in VSCode, I think fixing this is as simple as adding the new option to https://github.com/coder/code-server/blob/main/src/node/cli.ts

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingtriageThis issue needs to be triaged by a maintainer

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions