From b5659f09af4ee522f1d805355b3df2fb69e36681 Mon Sep 17 00:00:00 2001
From: William Desportes <williamdes@wdes.fr>
Date: Sat, 16 Mar 2019 21:14:42 +0100
Subject: [PATCH] Fix error reporting on multi server setup

Signed-off-by: William Desportes <williamdes@wdes.fr>
---
 js/error_report.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/error_report.js b/js/error_report.js
index fb0eca209c..eb56651c9d 100644
--- a/js/error_report.js
+++ b/js/error_report.js
@@ -209,6 +209,7 @@ var ErrorReport = {
      */
     _get_report_data: function (exception) {
         var report_data = {
+            'server': PMA_commonParams.get('server'),
             'ajax_request': true,
             'exception': exception,
             'current_url': window.location.href,