PushEEDS is used on 'OpenShift', as stated in AGPUSH-275 we should offer CLI so that users can add their own DB, using the same JNDI name;

that's good enough

This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira