From 94f542d55a7d05aad77a0e7ecbd6621d4258bd3b Mon Sep 17 00:00:00 2001
From: Phongphan Phuttha <phongphan.p@gmail.com>
Date: Mon, 14 Nov 2016 00:53:42 +0700
Subject: [PATCH] Detect changed for JNDI datasource which using jndi: prefix

---
 framework/src/play/db/DBPlugin.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/framework/src/play/db/DBPlugin.java b/framework/src/play/db/DBPlugin.java
index 79a3622d7b..8ef712830e 100644
--- a/framework/src/play/db/DBPlugin.java
+++ b/framework/src/play/db/DBPlugin.java
@@ -286,7 +286,7 @@ private static boolean changed() {
             String datasourceName = dbConfig.getProperty("db", "");
             DataSource ds = DB.getDataSource(dbName);
                      
-            if ((datasourceName.startsWith("java:")) && dbConfig.getProperty("db.url") == null) {
+            if ((datasourceName.startsWith("java:") || datasourceName.startsWith("jndi:")) && dbConfig.getProperty("db.url") == null) {
                 if (ds == null) {
                     return true;
                 }