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

--===============4431128222169889707==
Content-Type: multipart/alternative; boundary="000000000000805af205ff1d9445"

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

Unfortunately, MLton doesn't qualify for SourceForge's VHOST HTTPS support
(see https://sourceforge.net/p/forge/site-support/24738/).
You can always use mlton.sourceforge.io, which is HTTPS enabled.


On Mon, Jun 26, 2023 at 4:40=E2=80=AFPM Stephen Weeks <[email protected]> w=
rote:

> I updated the CNAME.
>
> On Mon, Jun 26, 2023 at 4:09=E2=80=AFPM Matthew Fluet <matthew.fluet@gmai=
l.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 webs=
ite
>>> 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. Le=
t me
>>> know if this could be possible and hope you have an excellent Monday an=
d
>>> 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
>>>
>> _______________________________________________
>> 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
>

--000000000000805af205ff1d9445
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">Unfortunately, MLton doesn&#39;t qualify for Sour=
ceForge&#39;s VHOST HTTPS support (see <a href=3D"https://sourceforge.net/p=
/forge/site-support/24738/">https://sourceforge.net/p/forge/site-support/24=
738/</a>).</div><div class=3D"gmail_default" style=3D"font-family:arial,san=
s-serif;font-size:large">You can always use <a href=3D"http://mlton.sourcef=
orge.io">mlton.sourceforge.io</a>, which is HTTPS enabled.</div><div class=
=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:large"><=
br></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gma=
il_attr">On Mon, Jun 26, 2023 at 4:40=E2=80=AFPM Stephen Weeks &lt;<a href=
=3D"mailto:[email protected]">[email protected]</a>&gt; wrote:<br></div><bl=
ockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-lef=
t:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr">I updated t=
he CNAME.</div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gma=
il_attr">On Mon, Jun 26, 2023 at 4:09=E2=80=AFPM Matthew Fluet &lt;<a href=
=3D"mailto:[email protected]" target=3D"_blank">[email protected]=
om</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"margi=
n: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-family:arial,=
sans-serif;font-size:large">For a long time, SourceForge did not support VH=
OST 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/documentat=
ion/Custom%20VHOSTs/" target=3D"_blank">https://sourceforge.net/p/forge/doc=
umentation/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">Currently,=
 the DNS is configured as: <a href=3D"http://www.mlton.org" target=3D"_blan=
k">www.mlton.org</a> CNAME to <a href=3D"http://vhost.sourceforge.net" targ=
et=3D"_blank">vhost.sourceforge.net</a></div><div class=3D"gmail_default" s=
tyle=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"_blank">www.ml=
ton.org</a> CNAME to <a href=3D"http://vhost2.sourceforge.net" target=3D"_b=
lank">vhost2.sourceforge.net</a></div><div class=3D"gmail_default" style=3D=
"font-family:arial,sans-serif;font-size:large"><br></div><div class=3D"gmai=
l_default" style=3D"font-family:arial,sans-serif;font-size:large">AFAIK, St=
ephen Weeks is still the one maintaining the <a href=3D"http://mlton.org" t=
arget=3D"_blank">mlton.org</a> DNS records.</div><div class=3D"gmail_defaul=
t" style=3D"font-family:arial,sans-serif;font-size:large"><br></div><div cl=
ass=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:large=
">-Matthew<br></div></div><br><div class=3D"gmail_quote"><div dir=3D"ltr" c=
lass=3D"gmail_attr">On Mon, Jun 26, 2023 at 2:28=E2=80=AFPM Adrian Cholewin=
ski &lt;<a href=3D"mailto:[email protected]" target=3D"_blank">ac=
[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"gmai=
l_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,20=
4,204);padding-left:1ex"><div dir=3D"ltr"><div>Hello,<div><br></div><div>Ho=
pe 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=C2=A0<a href=3D"ht=
tp://www.mlton.org/" target=3D"_blank">http://www.mlton.org/</a>=C2=A0was n=
ot HTTPS enabled and was wondering=C2=A0if it would be possible to have tha=
t 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 onl=
y ended up not being able to check it out. Let me know if this could be pos=
sible and hope you have an excellent=C2=A0Monday and week!</div><div><br></=
div><div>Thank you,</div><div>Adrian</div></div><span class=3D"gmail_signat=
ure_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><div d=
ir=3D"ltr"><span><span style=3D"background-color:transparent;color:rgb(153,=
153,153);font-family:&quot;Courier New&quot;;font-size:10pt;white-space:pre=
-wrap">Adrian Cholewinski</span><br><span style=3D"background-color:transpa=
rent;color:rgb(11,83,148);font-family:&quot;Courier New&quot;;font-size:10p=
t;font-weight:700;white-space:pre-wrap">Jane Street Group | Information Tec=
hnology</span><br><span style=3D"background-color:transparent;font-size:10p=
t;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 </spa=
n><span style=3D"background-color:transparent;font-size:10pt;font-family:&q=
uot;Times New Roman&quot;;color:rgb(136,136,136);vertical-align:baseline;wh=
ite-space:pre-wrap"></span><span style=3D"background-color:transparent;font=
-size:10pt;font-family:&quot;Courier New&quot;;color:rgb(136,136,136);verti=
cal-align:baseline;white-space:pre-wrap">10281</span></span><div><span styl=
e=3D"background-color:transparent;font-size:10pt;font-family:&quot;Courier =
New&quot;;color:rgb(136,136,136);vertical-align:baseline;white-space:pre-wr=
ap">Tel: </span><span style=3D"background-color:transparent;font-size:10pt;=
font-family:&quot;Courier New&quot;;color:rgb(17,85,204);vertical-align:bas=
eline;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>
_______________________________________________<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>

--000000000000805af205ff1d9445--


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


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

--===============4431128222169889707==--