Re: [MLton] Query if mlton.org could be HTTPS enabled

Matthew Fluet <[email protected]> Mon, 26 Jun 2023 16:02:22 -0400
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL63JZ5zw8p3yHpQJ0f7oD9Bra0X2twuXmxay4vySQqf_g@mail.gmail.com>
--===============5153380629276987904==
Content-Type: multipart/alternative; boundary="000000000000c8694705ff0dd41e"

--000000000000c8694705ff0dd41e
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

For a long time, SourceForge did not support VHOST to their HTTPS hosting.
But, that seems to have changed since the last time I checked:
https://sourceforge.net/p/forge/documentation/Custom%20VHOSTs/

Currently, the DNS is configured as: www.mlton.org CNAME to
vhost.sourceforge.net
but it would need to be configured as: www.mlton.org CNAME to
vhost2.sourceforge.net

AFAIK, Stephen Weeks is still the one maintaining the mlton.org DNS records=
.

-Matthew

On Mon, Jun 26, 2023 at 2:28=E2=80=AFPM Adrian Cholewinski <
[email protected]> wrote:

> Hello,
>
> Hope you are doing well! I wanted to reach out as I was told that this
> would be the best email to contact regarding this. We saw that
> http://www.mlton.org/ was not HTTPS enabled and was wondering if it would
> be possible to have that website be enabled for HTTPS? We have
> implemented a few things where if it is not HTTPS enabled then the websit=
e
> wouldn't be opened. There have been times where someone would like to
> browse the website but only ended up not being able to check it out. Let =
me
> know if this could be possible and hope you have an excellent Monday and
> week!
>
> Thank you,
> Adrian
> --
> Adrian Cholewinski
> Jane Street Group | Information Technology
> 250 Vesey Street  | New York, NY 10281
> Tel: 646.759.6843
>
> --
> You received this message because you are subscribed to the Google Groups
> "MLton" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> _______________________________________________
> MLton-devel mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>

--000000000000c8694705ff0dd41e
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:arial,sa=
ns-serif;font-size:large">For a long time, SourceForge did not support VHOS=
T to their HTTPS hosting.=C2=A0 But, that seems to have changed since the l=
ast time I checked: <a href=3D"https://sourceforge.net/p/forge/documentatio=
n/Custom%20VHOSTs/">https://sourceforge.net/p/forge/documentation/Custom%20=
VHOSTs/</a></div><div class=3D"gmail_default" style=3D"font-family:arial,sa=
ns-serif;font-size:large"><br></div><div class=3D"gmail_default" style=3D"f=
ont-family:arial,sans-serif;font-size:large">Currently, the DNS is configur=
ed as: <a href=3D"http://www.mlton.org">www.mlton.org</a> CNAME to <a href=
=3D"http://vhost.sourceforge.net">vhost.sourceforge.net</a></div><div class=
=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:large">b=
ut it would need to be configured as: <a href=3D"http://www.mlton.org">www.=
mlton.org</a> CNAME to <a href=3D"http://vhost2.sourceforge.net">vhost2.sou=
rceforge.net</a></div><div class=3D"gmail_default" style=3D"font-family:ari=
al,sans-serif;font-size:large"><br></div><div class=3D"gmail_default" style=
=3D"font-family:arial,sans-serif;font-size:large">AFAIK, Stephen Weeks is s=
till the one maintaining the <a href=3D"http://mlton.org">mlton.org</a> DNS=
 records.</div><div class=3D"gmail_default" style=3D"font-family:arial,sans=
-serif;font-size:large"><br></div><div class=3D"gmail_default" style=3D"fon=
t-family:arial,sans-serif;font-size:large">-Matthew<br></div></div><br><div=
 class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Mon, Jun 26=
, 2023 at 2:28=E2=80=AFPM Adrian Cholewinski &lt;<a href=3D"mailto:acholewi=
[email protected]">[email protected]</a>&gt; wrote:<br></div><b=
lockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-le=
ft:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><div>Hello=
,<div><br></div><div>Hope you are doing well! I wanted to reach out as I wa=
s told that this would be the best email to contact regarding this. We saw =
that=C2=A0<a href=3D"http://www.mlton.org/" target=3D"_blank">http://www.ml=
ton.org/</a>=C2=A0was not HTTPS enabled and was wondering=C2=A0if it would =
be possible to have that website be enabled for HTTPS? We have implemented=
=C2=A0a few things where if it is not HTTPS enabled then the website wouldn=
&#39;t be opened. There have been times where someone would like to browse =
the website=C2=A0but only ended up not being able to check it out. Let me k=
now if this could be possible and hope you have an excellent=C2=A0Monday an=
d week!</div><div><br></div><div>Thank you,</div><div>Adrian</div></div><sp=
an class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=3D=
"gmail_signature"><div dir=3D"ltr"><span><span style=3D"background-color:tr=
ansparent;color:rgb(153,153,153);font-family:&quot;Courier New&quot;;font-s=
ize:10pt;white-space:pre-wrap">Adrian Cholewinski</span><br><span style=3D"=
background-color:transparent;color:rgb(11,83,148);font-family:&quot;Courier=
 New&quot;;font-size:10pt;font-weight:700;white-space:pre-wrap">Jane Street=
 Group | Information Technology</span><br><span style=3D"background-color:t=
ransparent;font-size:10pt;font-family:&quot;Courier New&quot;;color:rgb(136=
,136,136);vertical-align:baseline;white-space:pre-wrap">250 Vesey Street=C2=
=A0 | New York, NY </span><span style=3D"background-color:transparent;font-=
size:10pt;font-family:&quot;Times New Roman&quot;;color:rgb(136,136,136);ve=
rtical-align:baseline;white-space:pre-wrap"></span><span style=3D"backgroun=
d-color:transparent;font-size:10pt;font-family:&quot;Courier New&quot;;colo=
r:rgb(136,136,136);vertical-align:baseline;white-space:pre-wrap">10281</spa=
n></span><div><span style=3D"background-color:transparent;font-size:10pt;fo=
nt-family:&quot;Courier New&quot;;color:rgb(136,136,136);vertical-align:bas=
eline;white-space:pre-wrap">Tel: </span><span style=3D"background-color:tra=
nsparent;font-size:10pt;font-family:&quot;Courier New&quot;;color:rgb(17,85=
,204);vertical-align:baseline;white-space:pre-wrap">646.759.6843</span><div=
><br></div></div></div></div></div>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups &=
quot;MLton&quot; group.<br>
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:[email protected]" target=3D"_blank">ml=
[email protected]</a>.<br>
_______________________________________________<br>
MLton-devel mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank">MLto=
[email protected]</a>; <a href=3D"mailto:[email protected]"=
 target=3D"_blank">[email protected]</a><br>
<a href=3D"https://lists.sourceforge.net/lists/listinfo/mlton-devel" rel=3D=
"noreferrer" target=3D"_blank">https://lists.sourceforge.net/lists/listinfo=
/mlton-devel</a><br>
</blockquote></div>

--000000000000c8694705ff0dd41e--


--===============5153380629276987904==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============5153380629276987904==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel

--===============5153380629276987904==--