Re: Downloading a file from a URL from the web with http-get

2014-08-05 Thread Dmitry Bogatov
* 白熊 [2014-08-05 03:56:03+0400] > Also, is there a way to determine the exact file size, so I could > check before downloading, if the file has already been downloaded, > i.e. same size on disk as on the web, or if the prior download failed, > i.e. smaller size on disk, than the web? > > I thought

Block comment syntax

2014-08-05 Thread David Michael
Hi, The block comment documentation[1] claims that the closing "!#" must appear on its own line, but this doesn't actually seem to be the case[2]. For example, the line "(display #! comment !# 1)" successfully outputs "1". Can anyone clarify whether the documentation needs to be updated, or if t