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

[Stephen W. <sw...@sw...>]

Should I switch the CNAME back?

On Tue, Jun 27, 2023 at 10:50 AM Matthew Fluet <mat...@gm...>
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 PM Stephen Weeks <sw...@sw...> wrote:
>
>> I updated the CNAME.
>>
>> On Mon, Jun 26, 2023 at 4:09 PM Matthew Fluet <mat...@gm...>
>> 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 PM Adrian Cholewinski <
>>> ach...@ja...> 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 website
>>>> 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, send
>>>> an email to mlt...@ml....
>>>> _______________________________________________
>>>> MLton-devel mailing list
>>>> MLt...@li...; mlt...@ml...
>>>> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>>>>
>>> _______________________________________________
>>> MLton-devel mailing list
>>> MLt...@li...; mlt...@ml...
>>> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>>>
>> _______________________________________________
>> MLton-devel mailing list
>> MLt...@li...; mlt...@ml...
>> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>>
> _______________________________________________
> MLton-devel mailing list
> MLt...@li...; mlt...@ml...
> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>