Jira issue originally created by user @doctrinebot:
This issue is created automatically through a Github pull request on behalf of MatthiasLohr:
Fixed http://www.doctrine-project.org/jira/browse/[DDC-2110](http://www.doctrine-project.org/jira/browse/DDC-2110). While selecting the configured search_path, "$user" is not replaced with the name of the current user. This commit will do the replacing.
Comment created by mlohr:
This is a pull request for a fix for DDC-2110.
Comment created by @doctrinebot:
A related Github Pull-Request [GH-305] was closed:
Issue was closed with resolution "Fixed"