Re: [MLton] Query if mlton.org could be HTTPS enabled
Matthew Fluet <[email protected]> Tue, 27 Jun 2023 12:04:22 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <CAMrhFL5+bpAW3NFtXwrSM+c1xtJw2Cx9wQOArSvrkB9rqcj5zA@mail.gmail.com> |
--===============9044976221972214795== Content-Type: multipart/alternative; boundary="00000000000077e42105ff1e9ffc" --00000000000077e42105ff1e9ffc Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The CNAME doesn't seem to matter (both http://mlton.org and http://www.mlton.org serve as expected), so I suggest just leaving it as it is now. Maybe one day sourceforge will enable https for the registered vhosts. On Tue, Jun 27, 2023 at 11:22=E2=80=AFAM Stephen Weeks <[email protected]> = wrote: > Should I switch the CNAME back? > > On Tue, Jun 27, 2023 at 10:50=E2=80=AFAM Matthew Fluet <matthew.fluet@gma= il.com> > wrote: > >> 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]= > wrote: >> >>> I updated the CNAME. >>> >>> On Mon, Jun 26, 2023 at 4:09=E2=80=AFPM Matthew Fluet <matthew.fluet@gm= ail.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 checke= d: >>>> 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 thi= s >>>>> 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 we= bsite >>>>> 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, sen= d >>>>> 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 >> > _______________________________________________ > MLton-devel mailing list > [email protected]; [email protected] > https://lists.sourceforge.net/lists/listinfo/mlton-devel > --00000000000077e42105ff1e9ffc 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">The CNAME doesn't seem to matter (both <a hre= f=3D"http://mlton.org">http://mlton.org</a> and <a href=3D"http://www.mlton= .org">http://www.mlton.org</a> serve as expected), so I suggest just leavin= g it as it is now.=C2=A0 Maybe one day sourceforge will enable https for th= e registered vhosts.</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"gmail_attr">On Tue, Jun 27, 2023 at 11:22= =E2=80=AFAM Stephen Weeks <<a href=3D"mailto:[email protected]">sweeks@s= weeks.com</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">Should I switch the CNAME back?</div><br><div c= lass=3D"gmail_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:matthew.fluet@= gmail.com" target=3D"_blank">[email protected]</a>> wrote:<br></di= v><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;borde= r-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr"><div c= lass=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:larg= e">Unfortunately, MLton doesn't qualify for SourceForge's VHOST HTT= PS support (see <a href=3D"https://sourceforge.net/p/forge/site-support/247= 38/" target=3D"_blank">https://sourceforge.net/p/forge/site-support/24738/<= /a>).</div><div class=3D"gmail_default" style=3D"font-family:arial,sans-ser= if;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.</di= v><div class=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-s= ize: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:[email protected]" target=3D"_blank">[email protected]= m</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">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=AF= PM Matthew Fluet <<a href=3D"mailto:[email protected]" target=3D"_= blank">[email protected]</a>> wrote:<br></div><blockquote class=3D= "gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(2= 04,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, So= urceForge did not support VHOST to their HTTPS hosting.=C2=A0 But, that see= ms to have changed since the last time I checked: <a href=3D"https://source= forge.net/p/forge/documentation/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">Currently, the DNS is configured as: <a href=3D"http://ww= w.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><d= iv class=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:= large">but it would need to be configured as: <a href=3D"http://www.mlton.o= rg" target=3D"_blank">www.mlton.org</a> CNAME to <a href=3D"http://vhost2.s= ourceforge.net" target=3D"_blank">vhost2.sourceforge.net</a></div><div clas= s=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-seri= f;font-size:large">AFAIK, Stephen Weeks is still the one maintaining the <a= href=3D"http://mlton.org" target=3D"_blank">mlton.org</a> DNS records.</di= v><div class=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-s= ize:large"><br></div><div class=3D"gmail_default" style=3D"font-family:aria= l,sans-serif;font-size:large">-Matthew<br></div></div><br><div class=3D"gma= il_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Mon, Jun 26, 2023 at 2:2= 8=E2=80=AFPM Adrian Cholewinski <<a href=3D"mailto:acholewinski@janestre= et.com" target=3D"_blank">[email protected]</a>> wrote:<br></d= iv><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;bord= er-left: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 was 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://w= ww.mlton.org/</a>=C2=A0was not HTTPS enabled and was wondering=C2=A0if it w= ould be possible to have that website be enabled for HTTPS? We have impleme= nted=C2=A0a few things where if it is not HTTPS enabled then the website wo= uldn't be opened. There have been times where someone would like to bro= wse 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=A0Monda= y and week!</div><div><br></div><div>Thank you,</div><div>Adrian</div></div= ><span class=3D"gmail_signature_prefix">-- </span><br><div dir=3D"ltr" clas= s=3D"gmail_signature"><div dir=3D"ltr"><span><span style=3D"background-colo= r:transparent;color:rgb(153,153,153);font-family:"Courier New";fo= nt-size:10pt;white-space:pre-wrap">Adrian Cholewinski</span><br><span style= =3D"background-color:transparent;color:rgb(11,83,148);font-family:"Cou= rier New";font-size:10pt;font-weight:700;white-space:pre-wrap">Jane St= reet Group | Information Technology</span><br><span style=3D"background-col= or:transparent;font-size:10pt;font-family:"Courier New";color:rgb= (136,136,136);vertical-align:baseline;white-space:pre-wrap">250 Vesey Stree= t=C2=A0 | New York, NY </span><span style=3D"background-color:transparent;f= ont-size:10pt;font-family:"Times New Roman";color:rgb(136,136,136= );vertical-align:baseline;white-space:pre-wrap"></span><span style=3D"backg= round-color:transparent;font-size:10pt;font-family:"Courier New";= color:rgb(136,136,136);vertical-align:baseline;white-space:pre-wrap">10281<= /span></span><div><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">Tel: </span><span style=3D"background-color= :transparent;font-size:10pt;font-family:"Courier New";color:rgb(1= 7,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" 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> _______________________________________________<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> --00000000000077e42105ff1e9ffc-- --===============9044976221972214795== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============9044976221972214795== 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 --===============9044976221972214795==--