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

[Matthew F. <mat...@gm...>]

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 AM Stephen Weeks <sw...@sw...> wrote:

> 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
>>
> _______________________________________________
> MLton-devel mailing list
> MLt...@li...; mlt...@ml...
> https://lists.sourceforge.net/lists/listinfo/mlton-devel
>

-- 
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....