From 7af6a4cc504d74a9b9523b4e6ecf7b9269cd67b5 Mon Sep 17 00:00:00 2001
From: Ignacio Etcheverry <ignalfonsore@gmail.com>
Date: Thu, 25 Jun 2020 21:20:41 +0200
Subject: [PATCH] [3.2] Fix DebugPlay request handler ignoring
 BuildBeforePlaying

This must have been missed when backporting the new protocol to 3.2.
---
 .../mono/editor/GodotTools/GodotTools/Ides/MessagingServer.cs   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/mono/editor/GodotTools/GodotTools/Ides/MessagingServer.cs b/modules/mono/editor/GodotTools/GodotTools/Ides/MessagingServer.cs
index 0646ad9d3e8..17f33395605 100644
--- a/modules/mono/editor/GodotTools/GodotTools/Ides/MessagingServer.cs
+++ b/modules/mono/editor/GodotTools/GodotTools/Ides/MessagingServer.cs
@@ -342,7 +342,7 @@ namespace GodotTools.Ides
                 DispatchToMainThread(() =>
                 {
                     GodotSharpEditor.Instance.CurrentPlaySettings =
-                        new PlaySettings(request.DebuggerHost, request.DebuggerPort, buildBeforePlaying: true);
+                        new PlaySettings(request.DebuggerHost, request.DebuggerPort, request.BuildBeforePlaying ?? true);
                     Internal.EditorRunPlay();
                     GodotSharpEditor.Instance.CurrentPlaySettings = null;
                 });