blob: f176e017d798ee1950aab5e86f56614d7e43fb6a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- plug-ins/url/url.c.orig Sat May 30 15:32:36 1998
+++ plug-ins/url/url.c Sun Jun 7 10:09:34 1998
@@ -146,8 +146,8 @@
}
else if (pid == 0)
{
- execlp ("wget", "wget", filename, "-O", tmpname, NULL);
- g_message ("url: exec failed: wget: %s\n", g_strerror(errno));
+ execlp ("fetch", "fetch", filename, "-p -o", tmpname, NULL);
+ g_message ("url: exec failed: fetch: %s\n", g_strerror(errno));
_exit(127);
}
else
|
