From a2dc93f6048443caa689bb26bd84d91b2ebfe0e0 Mon Sep 17 00:00:00 2001
From: deuce <>
Date: Fri, 18 Aug 2006 20:09:08 +0000
Subject: [PATCH] When creating a NEW .plan file, use the .plan filename, not
.pla.
---
exec/str_cmds.js | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/exec/str_cmds.js b/exec/str_cmds.js
index e182413d2d..7cea82c4ed 100644
--- a/exec/str_cmds.js
+++ b/exec/str_cmds.js
@@ -760,6 +760,10 @@ function str_cmds(str)
if(!console.noyes("Delete current .plan"))
file_remove(plan);
}
+ else {
+ // When creating a NEW plan file, use .plan
+ plan=format("%suser/%04d.plan",system.data_dir,user.number);
+ }
if(console.yesno("Edit/Create .plan")) {
console.editfile(plan);
console.printfile(plan);
--
GitLab