gitpod-io / gitpod-io/gitpod

SSH gateway stops the workspace immidiately upon disconnect after (plan inactivity timeout) amount of useage before disconnect

Open
#12,209 3 comments 2 reactions 1 assignee View on GitHub

@loujaybee is already working on this.

Since Aug 22, 2022.

component: ssh gateway editor: vim feature: ssh meta: never-stale team: IDE type: bug
Dominant language
TypeScript
Stars
13.8k
Forks
1.4k
Avg merge
17h 58m
Merged PRs (30d)
5

Description

Bug description

excerpt from an email:
Hi, I am having a very obnoxious issue with my gitpod containers shutting down early. I am using the “Command Line (SSH)” method of connecting to my pods, so that I can do development using tmux+vim. The experience works well until my SSH connection disconnects. Intuitively, this should start the timeout period on the container and it should automatically shut down 30 minutes later. Unfortunately, the observed behavior is that the timeout period is never reset and so if the container has been alive for longer than 30 minutes it immediately shuts down upon disconnect. This means if I shut my laptop to walk to another room, my gitpod container is shut down and it takes me several minutes to restart the container and open all of the files that I had opened.

Steps to reproduce
  1. Create a workspace and connect via ssh.
  2. Work on a file in the project directory or do anything to keep it alive for a period of 30+ minutes. (personal plan)
  3. Confirm that the gitpod dashboard timer for that specific workspace reports more than 30 minutes of usage.
  4. Disconnect the SSH session gracefully.
  5. Observe that the workspace immediately stopped.
Workspace affected

No response

Expected behavior

It should not immediately stop when the workspace was used for more time than {plan inactivity timeout}

Example repository

No response

Anything else?

cc @CGamesPlay

Front logo Front conversations

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.