phpmon/app
1
0
Fork 0
mirror of https://github.com/nicoverbruggen/phpmon.git synced 2025-08-07 03:50:08 +02:00
Code Releases Activity

✨ Add timeout for updater

Browse Source
This commit is contained in:
Nico Verbruggen
2023-02-02 19:27:58 +01:00
parent 4fd48baf63
commit 6d1ea4e93b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
phpmon-updater/Updater.swift
View File

@ -79,7 +79,7 @@ class Updater: NSObject, NSApplicationDelegate {
system_quiet("rm -rf \(updaterDirectory)/*.zip") system_quiet("rm -rf \(updaterDirectory)/*.zip")
// Download the file (and follow redirects + no output on failure) // Download the file (and follow redirects + no output on failure)
system_quiet("cd \(updaterDirectory) && curl \(manifest.url) -fLO") system_quiet("cd \(updaterDirectory) && curl \(manifest.url) -fLO --max-time 20")
// Identify the downloaded file // Identify the downloaded file
let filename = system("cd \(updaterDirectory) && ls | grep .zip") let filename = system("cd \(updaterDirectory) && ls | grep .zip")
@ -88,7 +88,7 @@ class Updater: NSObject, NSApplicationDelegate {
// Ensure the zip exists // Ensure the zip exists
if filename.isEmpty { if filename.isEmpty {
print("The update has not been downloaded. Sadly, that means that PHP Monitor cannot not updated!") print("The update has not been downloaded. Sadly, that means that PHP Monitor cannot not updated!")
await Alert.show(description: "PHP Monitor has not been updated. The update was not downloaded, or the file could not be written to disk. Please try again.") await Alert.show(description: "The update could not be downloaded, or the file was not correctly written to disk. \n\nPlease try again. \n\n(Note that the download will time-out after 20 seconds, so for slow connections it is recommended to manually download the update.)")
} }
// Calculate the checksum for the downloaded file // Calculate the checksum for the downloaded file