phpdevshell team mailing list archive

Thread
Date

[Bug 1819946] [NEW] Wrong caching of class factory

To: phpdevshell@xxxxxxxxxxxxxxxxxxx
From: Greg <1819946@xxxxxxxxxxxxxxxxxx>
Date: Wed, 13 Mar 2019 17:21:57 -0000
Reply-to: Bug 1819946 <1819946@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

Public bug reported:

When caching is enable (that is, $configuration['cache_type'] is
something else than 'PHPDS_noCache'), a bad merge is made and the Class
Registry content is wrong.

** Affects: phpdevshell
     Importance: Medium
     Assignee: Greg (gregfr)
         Status: Triaged

** Changed in: phpdevshell
   Importance: Undecided => Medium

** Changed in: phpdevshell
     Assignee: (unassigned) => Greg (gregfr)

** Changed in: phpdevshell
       Status: New => Triaged

** Changed in: phpdevshell
    Milestone: None => 3.5

-- 
You received this bug notification because you are a member of
PHPDevShell, which is subscribed to PHPDevShell.
https://bugs.launchpad.net/bugs/1819946

Title:
  Wrong caching of class factory

Status in PHPDevShell:
  Triaged

Bug description:
  When caching is enable (that is, $configuration['cache_type'] is
  something else than 'PHPDS_noCache'), a bad merge is made and the
  Class Registry content is wrong.

To manage notifications about this bug go to:
https://bugs.launchpad.net/phpdevshell/+bug/1819946/+subscriptions