From b9491317a6a3b0d16e95a3ef59216e7b0cb71fea Mon Sep 17 00:00:00 2001
From: stamparm <miroslav.stampar@gmail.com>
Date: Mon, 1 Jul 2013 13:11:16 +0200
Subject: [PATCH] Minor update (Issue #475)

---
 plugins/dbms/hsqldb/fingerprint.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/plugins/dbms/hsqldb/fingerprint.py b/plugins/dbms/hsqldb/fingerprint.py
index c76e0e716..eedfecde7 100644
--- a/plugins/dbms/hsqldb/fingerprint.py
+++ b/plugins/dbms/hsqldb/fingerprint.py
@@ -122,9 +122,6 @@ class Fingerprint(GenericFingerprint):
                 Backend.setVersion(">= 1.7.2")
                 setDbms("%s 1.7.2" % DBMS.HSQLDB)
 
-                if not conf.extensiveFp:
-                    return True
-
                 banner = self.getBanner()
                 if banner:
                     Backend.setVersion("= %s" % banner)