export const NOT_SIGNED_IN = "not signed in";
const VERSION_COOKIE_NAME = "cocalc_version";
export function versionCookieName(base_path: string): string {
return (
(base_path.length <= 1 ? "" : encodeURIComponent(base_path)) +
VERSION_COOKIE_NAME
);
}