me
/
guix
Archived
1
0
Fork 0
Code

services: MySQL: Fix indentation. 

* gnu/services/databases.scm (mysql-upgrade-wrapper): Adjust indentation.
master
Marius Bakke 2020-11-30 20:00:47 +01:00
parent 383c51ca0f
commit 3cf19b83d6
No known key found for this signature in database
GPG Key ID: A2A06DF2A33A54FA
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
gnu/services/databases.scm
View File

@ -576,14 +576,14 @@ FLUSH PRIVILEGES;
;; The socket is ready! ;; The socket is ready!
(execl mysql-upgrade mysql-upgrade (execl mysql-upgrade mysql-upgrade
(string-append "--socket=" #$socket-file)))) (string-append "--socket=" #$socket-file))))
(lambda args (lambda args
(if (< i timeout) (if (< i timeout)
(begin (begin
(sleep 1) (sleep 1)
(loop (+ 1 i))) (loop (+ 1 i)))
;; No luck, give up. ;; No luck, give up.
(throw 'timeout-error (throw 'timeout-error
"MySQL server did not appear in time!")))))))))) "MySQL server did not appear in time!"))))))))))
(define (mysql-upgrade-shepherd-service config) (define (mysql-upgrade-shepherd-service config)
(list (shepherd-service (list (shepherd-service