GNU bug report logs - #72966
30.0.90; [PATCH] php-ts-mode: custom php.ini config for the built-in php webserver

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#72966: closed (30.0.90; [PATCH] php-ts-mode: custom php.ini
 config for the built-in php webserver)
Date: Sun, 08 Sep 2024 06:49:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sun, 08 Sep 2024 09:48:09 +0300
with message-id <86o74ywsie.fsf <at> 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 <at> gnu.org.)


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

[Message part 2 (message/rfc822, inline)]

From: Vincenzo Pupillo <v.pupillo <at> gmail.com>
To: Bug Emacs <bug-gnu-emacs <at> gnu.org>
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

[Message part 3 (text/plain, inline)]

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 (text/x-patch, attachment)]

[Message part 5 (message/rfc822, inline)]

From: Eli Zaretskii <eliz <at> gnu.org>
To: Vincenzo Pupillo <v.pupillo <at> gmail.com>
Cc: 72966-done <at> debbugs.gnu.org
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 <at> gmail.com>
> Cc: 72966 <at> 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).

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.