diff src/luan/host/main.luan @ 1662:d6a50ed9604f

file.move_to
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 02 May 2022 19:15:42 -0600
parents d9a5405a3102
children b82767112d8e
line wrap: on
line diff
--- a/src/luan/host/main.luan	Mon May 02 18:56:55 2022 -0600
+++ b/src/luan/host/main.luan	Mon May 02 19:15:42 2022 -0600
@@ -172,7 +172,7 @@
 	local new_dir = sites_dir.child(new_domain)
 	new_dir.exists() and error "new_domain already exists"
 	WebHandler.removeHandler(old_domain)
-	old_dir.rename_to(new_dir.to_string())
+	old_dir.move_to(new_dir.to_string())
 	WebHandler.removeHandler(old_domain)
 	WebHandler.loadHandler(new_domain)
 end