<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE></TITLE>
<STYLE></STYLE>
</HEAD>
<BODY text="#000000" bgColor="#ffffff" background="">
<DIV><FONT face="Arial" size="2">Shao,</FONT></DIV>
<DIV><FONT face="Arial" size="2">Thanks for your response,</FONT></DIV>
<DIV><FONT face="Arial" size="2">please note that besides the alias command,
(or support for spaces in the set command), we also need a way </FONT><FONT face="Arial" size="2">to abort the autoboot at the end of the script and return to
the command line.</FONT></DIV>
<DIV><FONT face="Arial" size="2"></FONT> </DIV>
<DIV><FONT face="Arial" size="2">Tal</FONT></DIV></BODY></HTML>