Folks,
I have created a package, which needs to be deployed locally behind a
Squid HTTP proxy.
My info.rkt has:
(define deps
(list
"db-lib"
"web-server-lib"
...))
I want to keep my racket installation as minimal as possible.
My initial problem comes because raco doesn’t honour any proxy settings
(in .racketrc, or in the environment). That means that I don’t even get
off my network.
I tweaked net/url.rkt with some hard-coded proxies (subject of another
email):
(define current-proxy-servers
(make-parameter '(("http" "proxyname" 3128)
("https" "proxyname" 3128)) ...))
This then got me the following error:
ssl-connect: connect failed (error:140770FC:SSL
routines:SSL23_GET_SERVER_HELLO:unknown protocol)
I’m stumped as to how I resolve this, since I don’t know where this is
thrown up from -- squid, openssl, mzssl, git, what?
Can anyone help me out here?
Full transcript of woe below the dotted line.
Tim
..... (dotted line)
PLTSTDERR=debug@net/url minimal-racket/bin/raco pkg install
--fail-fast -i mypackage.tgz
The following uninstalled packages are listed as dependencies of
mypackage:
db-lib
web-server-lib
...
Would you like to install these dependencies? [Y/n/a/c/?] Y
00: Resolving "db-lib" via http://pkgs.racket-lang.org
tcp-connect: connection failed
detail: host not found
address: pkgs.racket-lang.org
port number: 80
step: 1
system error: Name or service not known; errno=-2
context...:
.../minimal-racket/share/racket/collects/net/http-client.rkt:224:0
.../minimal-racket/share/racket/collects/racket/contract/private/arrow-val-first.rkt:324:3
.../minimal-racket/share/racket/collects/net/url.rkt:77:0:
http://getpost-impure-port
.../minimal-racket/share/racket/collects/net/url.rkt:179:2: redirection-loop
.../minimal-racket/share/racket/collects/racket/contract/private/arrow-val-first.rkt:324:3
.../minimal-racket/share/racket/collects/pkg/private/network.rkt:58:3
I can circumvent this by hard-coding some proxy-servers into
current-proxy-servers in net/url.rkt, and repeat the exercise:
00: Resolving "db-lib" via http://pkgs.racket-lang.org
Downloading repository git://github.com/racket/db/?path=db-lib
ssl-connect: connect failed (error:140770FC:SSL
routines:SSL23_GET_SERVER_HELLO:unknown protocol)
context...:
.../minimal-racket/share/racket/collects/openssl/mzssl.rkt:1401:8: loop
.../minimal-racket/share/racket/collects/openssl/..:261:28
.../minimal-racket/share/racket/collects/openssl/..:259:25
.../minimal-racket/share/racket/collects/net/http-client.rkt:224:0
.../minimal-racket/share/racket/collects/racket/contract/private/arrow-val-first.rkt:324:3
.../minimal-racket/share/racket/collects/net/url.rkt:77:0:
http://getpost-impure-port
.../minimal-racket/share/racket/collects/net/url.rkt:179:2: redirection-loop
.../minimal-racket/share/racket/collects/racket/contract/private/arrow-val-first.rkt:324:3
.../minimal-racket/share/racket/collects/net/git-checkout.rkt:204:0:
initial-connect
.../minimal-racket/share/racket/collects/net/git-checkout.rkt:40:2:
retry-loop
.../minimal-racket/share/racket/collects/pkg/private/download.rkt:101:2:
download!
.../minimal-racket/share/racket/collects/file/cache.rkt:63:2:
fetch-and-continue
.../minimal-racket/share/racket/collects/racket/contract/private/arrow-val-first.rkt:324:3
.../minimal-racket/share/racket/collects/pkg/private/download.rkt:93:0:
download-repo!24
.../minimal-racket/share/racket/collects/pkg/private/stage.rkt:299:11
--
Tim Brown CEng MBCS <tim.br...@cityc.co.uk>
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
City Computing Limited · www.cityc.co.uk
City House · Sutton Park Rd · Sutton · Surrey · SM1 2AE · GB
T:+44 20 8770 2110 · F:+44 20 8770 2130
────────────────────────────────────────────────────────────────────────
City Computing Limited registered in London No:1767817.
Registered Office: City House, Sutton Park Road, Sutton, Surrey, SM1 2AE
VAT No: GB 918 4680 96
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
