mirror of
https://github.com/coder/code-server.git
synced 2024-12-05 07:13:06 +08: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 |