]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e45665) | patch
URIs containing # are now threaded in the "right" way,
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 9 May 2001 14:15:18 +0000 (14:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 9 May 2001 14:15:18 +0000 (14:15 +0000)
commitd93d3af8237750e61d094bd56f5845423db76495
tree7665a00f6c78c4179079f079c08e916043747b64tree | snapshot
parent8e45665720a12b6e6d271fe61364c99e463727b2commit | diff
URIs containing # are now threaded in the "right" way,
which is

 The #-part is removed, the URL to uwobo is generated and
 the removed #-part is appended to the computed URL.

Note: in this way the #-part is not passed to the getter and then
back to the source. For a #-part this seems reasonable, but could
not work with CGIs looking to the #-part. (Do they exist?)
helm/style/links_library.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.