From a0527a40d971a78113d268cc8b5e7de01caeb711 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Mat=C4=9Bna?= <info@romanmatena.cz>
Date: Tue, 16 Apr 2019 16:23:29 +0200
Subject: [PATCH] Update DriverException.php

As PHP exception is defined with code of type int, there must be always int

public function __construct(string $message = "", int $code = 0, \Throwable $previous = NULL) {}
---
 src/Database/DriverException.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Database/DriverException.php b/src/Database/DriverException.php
index 1239a1cb5..941ed5b7d 100644
--- a/src/Database/DriverException.php
+++ b/src/Database/DriverException.php
@@ -31,7 +31,7 @@ public static function from(\PDOException $src)
 			$e->code = $m[1];
 		} else {
 			$e->errorInfo = $src->errorInfo;
-			$e->code = $src->code;
+			$e->code = (int) $src->code;
 		}
 		return $e;
 	}