Home My Page Projects Code Snippets Project Openings SML/NJ Bugs
Summary Activity Tracker Lists

[#150] Add title to batch script

Date:
2015-12-07 21:23
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
John Reppy (jhr)
Machine Architecture:
None
Operating System:
Windows Vista
Component:
Installer
Resolution:
Fixed
Severity:
Feature
OS Version:
Any Windows
SML/NJ Version:
<= 110.79
Keywords:
URL:
Transcript (of reproduction):
Source (for reproduction):
run sml.bat
Summary:
Add title to batch script

Detailed description
The title of scripts executed through sml.bat is "CMD" or the like - non informative, in the case where other CMD windows are open
Fix:
add

title SML - Standard ML of New Jersey

as the second line in smlnj.bat

Submitted via web form by Elazar <elazarg@gmail.com>

Comments:

Message  ↓
Date: 2016-08-18 20:11
Sender: John Reppy

Confirmed fixed in 110.80

Date: 2016-06-16 19:09
Sender: John Reppy

I've patched the file as suggested; it will need to be tested before it is marked as closed.

Attached Files:

Changes

Field Old Value Date By
status_idOpen2016-08-18 20:11jhr
close_dateNone2016-08-18 20:11jhr
ResolutionAccepted As Bug2016-08-18 20:11jhr
ResolutionNone2015-12-10 16:03jhr
assigned_tonone2015-12-10 16:03jhr
detailsThe title of scripts executed through sml.bat is "CMD" or the like - non informative, in the case where other CMD windows are open Fix: add title SML - Standard ML of New Jersey as the second line in smlnj.bat Submitted via web form by Elazar <elazarg@gmail.com> 2015-12-10 16:03jhr