add error for publish

dev-nonsettable
Matthew Butterick 5 years ago
parent e5ddd18cba
commit bf09e50302

@ -267,7 +267,8 @@ version print the version" (current-server-port) (make-publish-di
(cond (cond
[do-publish-operation? [do-publish-operation?
(when (directory-exists? dest-dir) (when (directory-exists? dest-dir)
(delete-directory/files dest-dir)) (with-handlers ([exn:fail:filesystem? (λ (exn) (raise-user-error 'publish (format "operation failed: could not delete ~a" dest-dir)))])
(delete-directory/files dest-dir)))
(copy-directory/files source-dir dest-dir) (copy-directory/files source-dir dest-dir)
;; if source-dir is provided, we want it to be treated as current-directory. ;; if source-dir is provided, we want it to be treated as current-directory.
;; if no source-dir is provided, it is set to current-directory, ;; if no source-dir is provided, it is set to current-directory,

@ -1 +1 @@
1587667365 1587840895

Loading…
Cancel
Save