[Info-vax] Long uptime cut short by Hurricane Sandy

[hb]

On 01/31/2013 05:56 PM, Stephen Hoffman wrote:

>> $ filename = filenameprefix+"_"+F$cvtime(,"COMPARISON")-"-"-"-"-"
>> "-":"-":"-"."+".dmp"

> ———
> [1] Pedantic: what you've posted does not produce exactly same output. 
> It's very close, but not the same.
> 

... and you want to use parentheses to avoid removing anything from
filenameprefix:

$ filename = filenameprefix+"_"+(F$cvtime(,"COMPARISON")-"-"-"-"-"
"-":"-":"-".")+".dmp"