bugfix: add lost changes due merge

This commit is contained in:
Philipp Holzer 2019-07-12 23:01:01 +02:00
parent 8f0aa0ca5a
commit 4913502922
No known key found for this signature in database
GPG key ID: D8365C3D36B77D90
5 changed files with 30 additions and 11 deletions

View file

@ -161,6 +161,15 @@ class Database
$this->logger = $logger;
}
/**
* Sets the profiler for DBA
*
* @param Profiler $profiler
*/
public function setProfiler(Profiler $profiler)
{
$this->profiler = $profiler;
}
/**
* Disconnects the current database connection
*/
@ -323,6 +332,11 @@ class Database
}
}
public function isConnected()
{
return $this->connected;
}
public function connected()
{
$connected = false;