1999-10-23 07:59:42 +00:00
|
|
|
--- plug-ins/common/url.c.orig Sat May 30 15:32:36 1998
|
|
|
|
|
+++ plug-ins/common/url.c Sun Jun 7 10:09:34 1998
|
1997-03-28 14:14:48 +00:00
|
|
|
@@ -146,8 +146,8 @@
|
|
|
|
|
}
|
|
|
|
|
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));
|
1997-03-28 14:14:48 +00:00
|
|
|
_exit(127);
|
|
|
|
|
}
|
|
|
|
|
else
|
