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

--===============1587201804126012464==
Content-Type: multipart/alternative; boundary="000000000000608b9405ff0e5add"

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

I updated the CNAME.

On Mon, Jun 26, 2023 at 4:09=E2=80=AFPM Matthew Fluet <matthew.fluet@gmail.=
com>
wrote:

> 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 websi=
te
>> 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 Group=
s
>> "MLton" group.
>> To unsubscribe from this group and stop receiving emails from it, send a=
n
>> email to [email protected].
>> _______________________________________________
>> MLton-devel mailing list
>> [email protected]; [email protected]
>> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>>
> _______________________________________________
> MLton-devel mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>

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

<div dir=3D"ltr">I updated the CNAME.</div><br><div class=3D"gmail_quote"><=
div dir=3D"ltr" class=3D"gmail_attr">On Mon, Jun 26, 2023 at 4:09=E2=80=AFP=
M Matthew Fluet &lt;<a href=3D"mailto:[email protected]">matthew.flue=
[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=
=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding=
-left:1ex"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-fami=
ly:arial,sans-serif;font-size:large">For a long time, SourceForge did not s=
upport VHOST to their HTTPS hosting.=C2=A0 But, that seems to have changed =
since the last time I checked: <a href=3D"https://sourceforge.net/p/forge/d=
ocumentation/Custom%20VHOSTs/" target=3D"_blank">https://sourceforge.net/p/=
forge/documentation/Custom%20VHOSTs/</a></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"font-family:arial,sans-serif;font-size:large">C=
urrently, the DNS is configured as: <a href=3D"http://www.mlton.org" target=
=3D"_blank">www.mlton.org</a> CNAME to <a href=3D"http://vhost.sourceforge.=
net" target=3D"_blank">vhost.sourceforge.net</a></div><div class=3D"gmail_d=
efault" style=3D"font-family:arial,sans-serif;font-size:large">but it would=
 need to be configured as: <a href=3D"http://www.mlton.org" target=3D"_blan=
k">www.mlton.org</a> CNAME to <a href=3D"http://vhost2.sourceforge.net" tar=
get=3D"_blank">vhost2.sourceforge.net</a></div><div class=3D"gmail_default"=
 style=3D"font-family:arial,sans-serif;font-size:large"><br></div><div clas=
s=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:large">=
AFAIK, Stephen Weeks is still the one maintaining the <a href=3D"http://mlt=
on.org" target=3D"_blank">mlton.org</a> DNS records.</div><div class=3D"gma=
il_default" style=3D"font-family:arial,sans-serif;font-size:large"><br></di=
v><div class=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-s=
ize: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 Adria=
n Cholewinski &lt;<a href=3D"mailto:[email protected]" target=3D"=
_blank">[email protected]</a>&gt; wrote:<br></div><blockquote cla=
ss=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid =
rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><div>Hello,<div><br></d=
iv><div>Hope you are doing well! I wanted to reach out as I was told that t=
his 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.mlton.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 t=
hings where if it is not HTTPS enabled then the website wouldn&#39;t be ope=
ned. 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 know if this=
 could be possible and hope you have an excellent=C2=A0Monday and week!</di=
v><div><br></div><div>Thank you,</div><div>Adrian</div></div><span class=3D=
"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_sign=
ature"><div dir=3D"ltr"><span><span style=3D"background-color:transparent;c=
olor:rgb(153,153,153);font-family:&quot;Courier New&quot;;font-size:10pt;wh=
ite-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 | In=
formation Technology</span><br><span style=3D"background-color:transparent;=
font-size:10pt;font-family:&quot;Courier New&quot;;color:rgb(136,136,136);v=
ertical-align:baseline;white-space:pre-wrap">250 Vesey Street=C2=A0 | New Y=
ork, NY </span><span style=3D"background-color:transparent;font-size:10pt;f=
ont-family:&quot;Times New Roman&quot;;color:rgb(136,136,136);vertical-alig=
n:baseline;white-space:pre-wrap"></span><span style=3D"background-color:tra=
nsparent;font-size:10pt;font-family:&quot;Courier New&quot;;color:rgb(136,1=
36,136);vertical-align:baseline;white-space:pre-wrap">10281</span></span><d=
iv><span style=3D"background-color:transparent;font-size:10pt;font-family:&=
quot;Courier New&quot;;color:rgb(136,136,136);vertical-align:baseline;white=
-space:pre-wrap">Tel: </span><span style=3D"background-color:transparent;fo=
nt-size:10pt;font-family:&quot;Courier New&quot;;color:rgb(17,85,204);verti=
cal-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>
_______________________________________________<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>

--000000000000608b9405ff0e5add--


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


--===============1587201804126012464==
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

--===============1587201804126012464==--