portalDatasource Used By JBoss Seam Portal Example

While the JBoss Portal uses a datasource called PortalDS then JBoss Seam Portal example uses a datasource called portalDatasource which causes an datasource not found exception when deployed. You can update the hibernate configuration file to resolve the issue.