From f662d591c506346ac7b1804d5b8ec2754885feb9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Fri, 17 Jun 2016 14:51:15 +0200
Subject: [PATCH] Escape binary log name
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 server_binlog.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/server_binlog.php b/server_binlog.php
index 8c82d5f25b..d5af3d1e9f 100644
--- a/server_binlog.php
+++ b/server_binlog.php
@@ -85,11 +85,11 @@ if (count($binary_logs) > 1) {
     echo '</legend><select name="log">';
     $full_size = 0;
     foreach ($binary_logs as $each_log) {
-        echo '<option value="' . $each_log['Log_name'] . '"';
+        echo '<option value="' . htmlspecialchars($each_log['Log_name']) . '"';
         if ($each_log['Log_name'] == $_REQUEST['log']) {
             echo ' selected="selected"';
         }
-        echo '>' . $each_log['Log_name'];
+        echo '>' . htmlspecialchars($each_log['Log_name']);
         if (isset($each_log['File_size'])) {
             $full_size += $each_log['File_size'];
             echo ' ('