Jun 25, 2020 · Jun 25, 2020 · Jun 25, 2020
diff --git a/src/commands/show.ts b/src/commands/show.ts
Original file line number	Diff line number	Diff line change
Expand Up		@@ -157,16 +157,9 @@ async function showProblemInternal(node: IProblem): Promise<void> {
		var i = fileName.indexOf('.');
		const files: string[] = [fileName.slice(0, i), fileName.slice(i + 1)];
		let id: string = node["id"];
aebopp marked this conversation as resolved. Show resolved Hide resolved
	if (id.length == 1) {
	id = "000" + id;
	}
	else if (id.length == 2) {
	id = "00" + id;
	}
	else if (id.length == 3) {
	id = "0" + id;
	}
	const zeroFileName: string = id + "." + files[1]
	let pad = "0000";
	let zeroid = pad.substring(0, 4 - id.length) + id
	const zeroFileName: string = zeroid + "." + files[1]
		let finalPath: string = path.join(workspaceFolder, fileFolder, zeroFileName);

		if (finalPath) {
Expand Down