From 55ad284d3be7fb3e7cce8086ed749b8521d78753 Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Wed, 8 Apr 2026 23:17:02 +0200 Subject: [PATCH] - --- info.rkt | 2 +- private/downloader.rkt | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/info.rkt b/info.rkt index 7df181d..91f16dd 100644 --- a/info.rkt +++ b/info.rkt @@ -16,7 +16,7 @@ ) (define deps - '("racket/gui" "racket/base" "racket")) + '("racket/gui" "racket/base" "racket" "finalizer")) (define build-deps '("racket-doc" diff --git a/private/downloader.rkt b/private/downloader.rkt index 6dcc17d..ad91287 100644 --- a/private/downloader.rkt +++ b/private/downloader.rkt @@ -130,7 +130,8 @@ d)))) (define (soundlibs-clear-download!) - (delete-file version-file)) + (when (file-exists? version-file) + (delete-file version-file))) (define (download-soundlibs) (let ((in (download-port download-url)))