fix Serialization not defined

JuliaPluto · Sep 12, 2023 · 006c4f6 · 006c4f6 · fonsp · Sep 12, 2023
1 parent 89129fa
commit 006c4f6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "Malt"
 uuid = "36869731-bdee-424d-aa32-cab38c994e3b"
 authors = ["Sergio Alejandro Vargas <[email protected]>"]
-version = "1.0.1"
+version = "1.0.2"
 
 [deps]
 Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b"

diff --git a/src/worker.jl b/src/worker.jl
@@ -1,6 +1,8 @@
+pushfirst!(LOAD_PATH, "@stdlib")
 using Logging: Logging, @debug
 using Serialization: serialize, deserialize
 using Sockets: Sockets
+popfirst!(LOAD_PATH)
 
 ## Allow catching InterruptExceptions
 Base.exit_on_sigint(false)