Closed
Issue #1 · created by Nathanael Jourdane (Edited )


Potential error on UserMgr

On branch webservices, in php/classes/UserMgr.php, line 80:

if (isset($_GET['sessionID'])) 
    $this->user = $_GET['sessionID'];
else if (isset($sessionID))
    $this->user = $sessionID;
    $this->amdaClient = new AmdaClient(true);

$this->amdaClient is not in the else if block. If it is intentional, the line should not be indented.

Bug added in commit d471cf49.


2 participants