From a6435210acaee2fcd4f0f049032c47c043cfd51f Mon Sep 17 00:00:00 2001
From: nturgut <nurhan@google.com>
Date: Wed, 10 Jun 2020 11:29:19 -0700
Subject: [PATCH] Update firefox.dart (#18939)

---
 lib/web_ui/dev/firefox.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/web_ui/dev/firefox.dart b/lib/web_ui/dev/firefox.dart
index 7702d1c0b50..d3849c957dc 100644
--- a/lib/web_ui/dev/firefox.dart
+++ b/lib/web_ui/dev/firefox.dart
@@ -59,7 +59,7 @@ user_pref("dom.max_script_run_time", 0);
       // https://developer.mozilla.org/en-US/docs/Mozilla/Command_Line_Options#Browser
       //
       if (temporaryProfileDirectory.existsSync()) {
-        temporaryProfileDirectory.deleteSync();
+        temporaryProfileDirectory.deleteSync(recursive: true);
       }
       temporaryProfileDirectory.createSync(recursive: true);