mirror of
https://github.com/coder/code-server.git
synced 2024-12-27 19:56:57 +03: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.
25 lines
436 B
Plaintext
25 lines
436 B
Plaintext
integration.diff
|
|
base-path.diff
|
|
proposed-api.diff
|
|
marketplace.diff
|
|
webview.diff
|
|
disable-builtin-ext-update.diff
|
|
insecure-notification.diff
|
|
update-check.diff
|
|
logout.diff
|
|
store-socket.diff
|
|
proxy-uri.diff
|
|
github-auth.diff
|
|
unique-db.diff
|
|
log-level.diff
|
|
local-storage.diff
|
|
service-worker.diff
|
|
connection-type.diff
|
|
sourcemaps.diff
|
|
disable-downloads.diff
|
|
telemetry.diff
|
|
display-language.diff
|
|
cli-window-open.diff
|
|
heartbeat.diff
|
|
exec-argv.diff
|