Factorio: correctly display player names with spaces and detect desyncs

data/factorio/mod/lib.lua

@@ -20,4 +20,16 @@ function get_any_stack_size(name)
     end
     -- failsafe
     return 1
+end
+
+-- from https://stackoverflow.com/a/40180465
+-- split("a,b,c", ",") => {"a", "b", "c"}
+function split(s, sep)
+    local fields = {}
+
+    sep = sep or " "
+    local pattern = string.format("([^%s]+)", sep)
+    string.gsub(s, pattern, function(c) fields[#fields + 1] = c end)
+
+    return fields
 end