From 1a47e8100163e6faafd145612442ed27c8c20ec7 Mon Sep 17 00:00:00 2001
From: danielyxie <dxie@g.hmc.edu>
Date: Mon, 19 Nov 2018 02:21:21 -0800
Subject: [PATCH] Fixed bug where company.name property didnt get properly
 updated for v0.41.2

---
 src/SaveObject.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/SaveObject.js b/src/SaveObject.js
index 05d866299..3b5d40a44 100755
--- a/src/SaveObject.js
+++ b/src/SaveObject.js
@@ -127,7 +127,7 @@ function evaluateVersionCompatibility(ver) {
         // The "companyName" property of all Companies is renamed to "name"
         for (var companyName in Companies) {
             const company = Companies[companyName];
-            if (company.name == null && company.companyName != null) {
+            if ((company.name == null || company.name === 0 || company.name === "") && company.companyName != null) {
                 console.log("Changed company name property to be compatible with v0.41.2");
                 company.name = company.companyName;
             }