Re: [MLton] Query if mlton.org could be HTTPS enabled
Stephen Weeks <[email protected]> Tue, 27 Jun 2023 11:15:12 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <CAJsFioVO0vPD-zxR4uUZvS11QG-xhszi0mKX=zarERgapDMpvw@mail.gmail.com> |
--===============6582806578122239717== Content-Type: multipart/alternative; boundary="0000000000002cc84605ff1df116" --0000000000002cc84605ff1df116 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Should I switch the CNAME back? On Tue, Jun 27, 2023 at 10:50=E2=80=AFAM Matthew Fluet <matthew.fluet@gmail= .com> wrote: > Unfortunately, MLton doesn't qualify for SourceForge's VHOST HTTPS suppor= t > (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]>= wrote: > >> I updated the CNAME. >> >> On Mon, Jun 26, 2023 at 4:09=E2=80=AFPM Matthew Fluet <matthew.fluet@gma= il.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 web= site >>>> 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. L= et me >>>> know if this could be possible and hope you have an excellent Monday a= nd >>>> 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 >> > _______________________________________________ > MLton-devel mailing list > [email protected]; [email protected] > https://lists.sourceforge.net/lists/listinfo/mlton-devel > --0000000000002cc84605ff1df116 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">Should I switch the CNAME back?</div><br><div class=3D"gma= il_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Tue, Jun 27, 2023 at 10:= 50=E2=80=AFAM Matthew Fluet <<a href=3D"mailto:[email protected]">= [email protected]</a>> 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-family:arial,sans-serif;font-size:large">Unfortunately, MLton does= n't qualify for SourceForge's VHOST HTTPS support (see <a href=3D"h= ttps://sourceforge.net/p/forge/site-support/24738/" target=3D"_blank">https= ://sourceforge.net/p/forge/site-support/24738/</a>).</div><div class=3D"gma= il_default" style=3D"font-family:arial,sans-serif;font-size:large">You can = always use <a href=3D"http://mlton.sourceforge.io" target=3D"_blank">mlton.= sourceforge.io</a>, which is HTTPS enabled.</div><div class=3D"gmail_defaul= t" 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"gmail_attr">On Mon,= Jun 26, 2023 at 4:40=E2=80=AFPM Stephen Weeks <<a href=3D"mailto:sweeks= @sweeks.com" target=3D"_blank">[email protected]</a>> 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">I updated = the CNAME.</div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gm= ail_attr">On Mon, Jun 26, 2023 at 4:09=E2=80=AFPM Matthew Fluet <<a href= =3D"mailto:[email protected]" target=3D"_blank">[email protected]= om</a>> 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 <<a href=3D"mailto:[email protected]" target=3D"_blank">ac= [email protected]</a>> 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'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:"Courier New";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:"Courier New";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:"Courier New";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";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:"Courier New";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:"Courier = New";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:"Courier New";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" 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> _______________________________________________<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> --0000000000002cc84605ff1df116-- --===============6582806578122239717== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============6582806578122239717== 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 --===============6582806578122239717==--