feat(lib/vscode): add log out to application menu

This adds a new option to the Application Menu called Log out.

It deletes the code-server cookie and logs a user out.

Author: jsjoeio

lib/vscode/src/vs/workbench/browser/parts/titlebar/menubarControl.ts

@@ -38,6 +38,7 @@ import { KeyCode } from 'vs/base/common/keyCodes';
 import { KeybindingWeight } from 'vs/platform/keybinding/common/keybindingsRegistry';
 import { IsWebContext } from 'vs/platform/contextkey/common/contextkeys';
 import { ICommandService } from 'vs/platform/commands/common/commands';
+import { ILogService } from 'vs/platform/log/common/log';
 
 export abstract class MenubarControl extends Disposable {
 
@@ -311,7 +312,8 @@ export class CustomMenubarControl extends MenubarControl {
 		@IThemeService private readonly themeService: IThemeService,
 		@IWorkbenchLayoutService private readonly layoutService: IWorkbenchLayoutService,
 		@IHostService protected readonly hostService: IHostService,
-		@ICommandService commandService: ICommandService
+		@ICommandService commandService: ICommandService,
+		@ILogService private readonly logService: ILogService
 	) {
 		super(menuService, workspacesService, contextKeyService, keybindingService, configurationService, labelService, updateService, storageService, notificationService, preferencesService, environmentService, accessibilityService, hostService, commandService);
 
@@ -719,6 +721,28 @@ export class CustomMenubarControl extends MenubarControl {
 						}));
 				}
 
+				webNavigationActions.push(new Action('logout', nls.localize('logout', "Log out"), undefined, true,
+					async (event?: MouseEvent) => {
+						const COOKIE_KEY = 'key';
+						const loginCookie = DOM.getCookieValue(COOKIE_KEY);
+
+						this.logService.info('Logging out of code-server');
+
+						if(loginCookie) {
+							this.logService.info(`Removing cookie under ${COOKIE_KEY}`);
+
+							if (document && document.cookie) {
+								// We delete the cookie by setting the expiration to a date/time in the past
+								document.cookie = COOKIE_KEY +'=; Path=/; Expires=Thu, 01 Jan 1970 00:00:01 GMT;';
+								window.location.href = '/login';
+							} else {
+								this.logService.warn('Could not delete cookie because document and/or document.cookie is undefined');
+							}
+						} else {
+							this.logService.warn('Could not log out because we could not find cookie');
+						}
+					}));
+
 				const otherActions = this.getWebNavigationMenuItemActions().map(action => {
 					const title = typeof action.item.title === 'string'
 						? action.item.title