2000-02-24 07:32:36 +00:00
|
|
|
--- plug-ins/common/url.c.orig Tue Feb 1 16:09:01 2000
|
|
|
|
+++ plug-ins/common/url.c Sat Feb 19 13:51:36 2000
|
|
|
|
@@ -158,8 +158,8 @@
|
1997-03-28 14:14:48 +00:00
|
|
|
}
|
|
|
|
else if (pid == 0)
|
|
|
|
{
|
|
|
|
- execlp ("wget", "wget", filename, "-O", tmpname, NULL);
|
1998-06-07 03:58:40 +00:00
|
|
|
- g_message ("url: exec failed: wget: %s\n", g_strerror(errno));
|
1997-03-28 14:14:48 +00:00
|
|
|
+ execlp ("fetch", "fetch", filename, "-p -o", tmpname, NULL);
|
1998-06-07 03:58:40 +00:00
|
|
|
+ g_message ("url: exec failed: fetch: %s\n", g_strerror(errno));
|
1999-11-11 20:14:11 +00:00
|
|
|
g_free (tmpname);
|
1997-03-28 14:14:48 +00:00
|
|
|
_exit(127);
|
|
|
|
}
|