bug#72966: closed (30.0.90; [PATCH] php-ts-mode: custom php.ini config for the built-in php webserver)

[GNU bug Tracking System]

Your message dated Sun, 08 Sep 2024 09:48:09 +0300
with message-id <86o74ywsie.fsf@gnu.org>
and subject line Re: bug#72966: 30.0.90; [PATCH] php-ts-mode: custom php.ini 
config for the built-in php webserver
has caused the debbugs.gnu.org bug report #72966,
regarding 30.0.90; [PATCH] php-ts-mode: custom php.ini config for the built-in 
php webserver
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
72966: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72966
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: 30.0.90; [PATCH] php-ts-mode: custom php.ini config for the built-in php webserver Date: Mon, 02 Sep 2024 15:29:23 +0200

Ciao, 
this patch adds a new CONFIG attribute to 'php-ts-mode-run-php-webserver' that 
allows you to specify an alternative php.ini file to the default (or whatever 
is specified in 'php-ts-mode-php-config').
Thanks.

Vincenzo.

0001-Support-for-custom-php.ini-for-the-built-in-PHP-web-.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#72966: 30.0.90; [PATCH] php-ts-mode: custom php.ini config for the built-in php webserver
>
>
>
>
> Date: 
>
> Sun, 08 Sep 2024 09:48:09 +0300
>
>
>
>
> > From: Vincenzo Pupillo <v.pupillo@gmail.com>
> > Cc: 72966@debbugs.gnu.org
> > Date: Thu, 05 Sep 2024 21:16:29 +0200
> > 
> > Hi Eli, I followed your suggestion and moved the CONFIG argument. I also 
> > added 
> > a new entry to the NEWS file.
>
> Thanks, installed on the master branch, and closing the bug.
>
> Please in the future try to adhere to our conventions of leaving two
> spaces between sentences (I fixed that in this patch).
>
>
> --- End Message ---