Remove spaces and tabs from a URL

	The function [[URL_clean]] removes whitespace from a URL. The
	string is changed in place.

<<*>>=
#include <config.h>

EXPORT void URL_clean(char *url)
{
    int i, j;

    for (i = 0; url[i] && !isspace(url[i]); i++) ;
    if (url[i]) {
	for (j = i; url[i]; i++) if (!isspace(url[i])) url[j++] = url[i];
	url[j] = '\0';
    }
}