Re: [MLton] Query if mlton.org could be HTTPS enabled
Adrian Cholewinski <[email protected]> Tue, 27 Jun 2023 14:42:26 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <CAGhcXxJAt9J7K4L3MrO0egzMM3AWXZhHVrYWx8OvZbAiN1kwSw@mail.gmail.com> |
--===============5836128483591273001== Content-Type: multipart/alternative; boundary="00000000000051033205ff20d689" --00000000000051033205ff20d689 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable No worries and thank you both Matthew and Stephen for looking into this. Going forward, we will use https://mlton.sourceforge.io/ instead. Have a great week! On Tue, Jun 27, 2023 at 12:04=E2=80=AFPM Matthew Fluet <matthew.fluet@gmail= .com> wrote: > 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 registere= d > 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@gm= ail.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]= m> wrote: >>> >>>> I updated the CNAME. >>>> >>>> On Mon, Jun 26, 2023 at 4:09=E2=80=AFPM Matthew Fluet <matthew.fluet@g= mail.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 check= ed: >>>>> 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 w= ebsite >>>>>> wouldn't be opened. There have been times where someone would like t= o >>>>>> 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 >>>>>> >>>>> _______________________________________________ >>>>> 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 >> > --=20 Adrian Cholewinski Jane Street Group | Information Technology 250 Vesey Street | New York, NY =E2=80=8B10281 Tel: 646.759.6843 --=20 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 e= mail to [email protected]. --00000000000051033205ff20d689 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr">No worries and thank you both Matthew and Stephen for look= ing into this. Going forward, we will use=C2=A0<a href=3D"https://mlton.sou= rceforge.io/">https://mlton.sourceforge.io/</a> instead. Have a great week!= </div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">= On Tue, Jun 27, 2023 at 12:04=E2=80=AFPM Matthew Fluet <<a href=3D"mailt= o:[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 cla= ss=3D"gmail_default" style=3D"font-family:arial,sans-serif;font-size:large"= >The CNAME doesn't seem to matter (both <a href=3D"http://mlton.org" ta= rget=3D"_blank">http://mlton.org</a> and <a href=3D"http://www.mlton.org" t= arget=3D"_blank">http://www.mlton.org</a> serve as expected), so I suggest = just leaving it as it is now.=C2=A0 Maybe one day sourceforge will enable h= ttps for the registered vhosts.</div><div class=3D"gmail_default" style=3D"= font-family:arial,sans-serif;font-size:large"><br></div></div><br><div clas= s=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Tue, Jun 27, 202= 3 at 11:22=E2=80=AFAM Stephen Weeks <<a href=3D"mailto:[email protected]= " target=3D"_blank">[email protected]</a>> wrote:<br></div><blockquote c= lass=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px soli= d rgb(204,204,204);padding-left:1ex"><div dir=3D"ltr">Should I switch the C= NAME back?</div><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gm= ail_attr">On Tue, Jun 27, 2023 at 10:50=E2=80=AFAM Matthew Fluet <<a hre= f=3D"mailto:[email protected]" target=3D"_blank">matthew.fluet@gmail.= com</a>> wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"marg= in:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1e= x"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:arial= ,sans-serif;font-size:large">Unfortunately, MLton doesn't qualify for S= ourceForge's VHOST HTTPS support (see <a href=3D"https://sourceforge.ne= t/p/forge/site-support/24738/" target=3D"_blank">https://sourceforge.net/p/= forge/site-support/24738/</a>).</div><div class=3D"gmail_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>, w= hich is HTTPS enabled.</div><div class=3D"gmail_default" style=3D"font-fami= ly:arial,sans-serif;font-size:large"><br></div></div><br><div class=3D"gmai= l_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]</a>> wrote:<br></div><blockquote class=3D"= gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(20= 4,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, J= un 26, 2023 at 4:09=E2=80=AFPM Matthew Fluet <<a href=3D"mailto:matthew.= [email protected]" target=3D"_blank">[email protected]</a>> wrote:<b= r></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-siz= e:large">For a long time, SourceForge did not support VHOST to their HTTPS = hosting.=C2=A0 But, that seems to have changed since the last time I checke= d: <a href=3D"https://sourceforge.net/p/forge/documentation/Custom%20VHOSTs= /" target=3D"_blank">https://sourceforge.net/p/forge/documentation/Custom%2= 0VHOSTs/</a></div><div class=3D"gmail_default" style=3D"font-family:arial,s= ans-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 configu= red 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_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.org" target=3D"_blank">www.mlton.org</a> CNAME t= o <a href=3D"http://vhost2.sourceforge.net" target=3D"_blank">vhost2.source= forge.net</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">AFAIK, Stephen Weeks is stil= l the one maintaining the <a href=3D"http://mlton.org" target=3D"_blank">ml= ton.org</a> DNS records.</div><div class=3D"gmail_default" style=3D"font-fa= mily:arial,sans-serif;font-size:large"><br></div><div class=3D"gmail_defaul= t" style=3D"font-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 <<a href=3D"= mailto:[email protected]" target=3D"_blank">acholewinski@janestre= et.com</a>> wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"m= argin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left= :1ex"><div dir=3D"ltr"><div>Hello,<div><br></div><div>Hope you are doing we= ll! I wanted to reach out as I was told that this would be the best email t= o 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 an= d was wondering=C2=A0if it would be possible to have that website be enable= d 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 whe= re someone would like to browse the website=C2=A0but only ended up not bein= g able to check it out. Let me know if this could be possible 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_signature_prefix">-- </sp= an><br><div dir=3D"ltr" class=3D"gmail_signature"><div dir=3D"ltr"><span><s= pan style=3D"background-color:transparent;color:rgb(153,153,153);font-famil= y:"Courier New";font-size:10pt;white-space:pre-wrap">Adrian Chole= winski</span><br><span style=3D"background-color:transparent;color:rgb(11,8= 3,148);font-family:"Courier New";font-size:10pt;font-weight:700;w= hite-space:pre-wrap">Jane Street Group | Information Technology</span><br><= span style=3D"background-color:transparent;font-size:10pt;font-family:"= ;Courier New";color:rgb(136,136,136);vertical-align:baseline;white-spa= ce:pre-wrap">250 Vesey Street=C2=A0 | New York, NY </span><span style=3D"ba= ckground-color:transparent;font-size:10pt;font-family:"Times New Roman= ";color:rgb(136,136,136);vertical-align:baseline;white-space:pre-wrap"= ></span><span style=3D"background-color:transparent;font-size:10pt;font-fam= ily:"Courier New";color:rgb(136,136,136);vertical-align:baseline;= white-space:pre-wrap">10281</span></span><div><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">Tel: </span><sp= an style=3D"background-color:transparent;font-size:10pt;font-family:"C= ourier New";color:rgb(17,85,204);vertical-align:baseline;white-space:p= re-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> </blockquote></div><br clear=3D"all"><div><br></div><span class=3D"gmail_si= gnature_prefix">-- </span><br><div dir=3D"ltr" class=3D"gmail_signature"><d= iv dir=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:tra= nsparent;color:rgb(11,83,148);font-family:"Courier New";font-size= :10pt;font-weight:700;white-space:pre-wrap">Jane Street Group | Information= Technology</span><br><span style=3D"background-color:transparent;font-size= :10pt;font-family:"Courier New";color:rgb(136,136,136);vertical-a= lign:baseline;white-space:pre-wrap">250 Vesey Street=C2=A0 | New York, NY <= /span><span style=3D"background-color:transparent;font-size:10pt;font-famil= y:"Times New Roman";color:rgb(136,136,136);vertical-align:baselin= e;white-space:pre-wrap">=E2=80=8B</span><span style=3D"background-color:tra= nsparent;font-size:10pt;font-family:"Courier New";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";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:"Courier New";color:rgb(17,85,204);verti= cal-align:baseline;white-space:pre-wrap">646.759.6843</span><div><br></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]">mlton+unsubscribe@ml= ton.org</a>.<br /> --00000000000051033205ff20d689-- --===============5836128483591273001== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline --===============5836128483591273001== 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 --===============5836128483591273001==--