mirror of
https://github.com/cdr/code-server.git
synced 2025-12-06 16:34:35 +01:00
6262c7a0bf
* Use fork instead of spawn We no longer do in-place updating so no need for the spawn. The advantage of a fork is that it preserves flags like --prof which you can use to profile code-server. Also I am not sure the comment about not being able to reload in place with fork was even true to begin with. * Refresh heartbeat patch Seems to have gotten out of date a little. * Propagate execArgv to extension host This will let us profile the extension host. |
||
|---|---|---|
| .. | ||
| base-path.diff | ||
| cli-window-open.diff | ||
| connection-type.diff | ||
| disable-builtin-ext-update.diff | ||
| disable-downloads.diff | ||
| display-language.diff | ||
| exec-argv.diff | ||
| github-auth.diff | ||
| heartbeat.diff | ||
| insecure-notification.diff | ||
| integration.diff | ||
| local-storage.diff | ||
| log-level.diff | ||
| logout.diff | ||
| marketplace.diff | ||
| parent-origin.diff | ||
| proposed-api.diff | ||
| proxy-uri.diff | ||
| series | ||
| service-worker.diff | ||
| sourcemaps.diff | ||
| store-socket.diff | ||
| telemetry.diff | ||
| unique-db.diff | ||
| update-check.diff | ||
| webview.diff | ||