1999-11-11 20:14:11 +00:00
|
|
|
--- plug-ins/common/url.c Sun Nov 7 19:24:37 1999
|
|
|
|
+++ plug-ins/common/url.c.new Sun Nov 7 19:26:39 1999
|
|
|
|
@@ -151,8 +151,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);
|
|
|
|
}
|