[w3m-dev 00900] refresh with space

From: $B2,ED (okada@furuno.co.jp)
Date: Tue Jun 13 2000 - 03:53:28 CDT


$B2,ED$G$9!#(B

<META HTTP-EQUIV="Refresh" CONTENT="0; URL=http://foo.bar/">

$B$3$N$h$&$K(B ; $B$N8e$K%9%Z!<%9$N$"$k(B html $B$,$H$-$I$-$"$k$N$G$9$,!"$$$^$N(B
w3m $B$G$O!"$3$&$$$&(B refresh $B$OI=<($5$l$^$;$s!#(B

$B$H$j$"$($:0J2<$N$h$&$J=$@5$GI=<($G$-$k$h$&$K$J$j$^$9$,!"(B; $B$N8e$N%9%Z!<(B
$B%9$O5v$5$l$F$$$k$N$G$7$g$&$+!)(B

-- 
Tsutomu Okada

--- file.c.old Mon Jun 12 09:37:37 2000 +++ file.c Tue Jun 13 17:46:44 2000 @@ -3286,6 +3286,8 @@ while (*q && *q != ';') q++; if (*q == ';') + q++; + while (*q && *q == ' ') q++; } if (s_tmp) {



This archive was generated by hypermail 2b29 : Wed Jul 19 2000 - 10:30:56 CDT