2019-01-23 01:27:59 +07:00
|
|
|
import * as paths from "./paths";
|
|
|
|
import * as environment from "vs/platform/environment/node/environmentService";
|
|
|
|
|
|
|
|
export class EnvironmentService extends environment.EnvironmentService {
|
|
|
|
public get sharedIPCHandle(): string {
|
|
|
|
return paths._paths.socketPath || super.sharedIPCHandle;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-01-31 02:32:48 +07:00
|
|
|
const target = environment as typeof environment;
|
|
|
|
target.EnvironmentService = EnvironmentService;
|