Skip to content

Commit

Permalink
Update pursuit.service (#483)
Browse files Browse the repository at this point in the history
  • Loading branch information
@thomashoneyman
thomashoneyman committed Dec 6, 2023
1 parent ea6a220 commit e8dd25a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deploy/pursuit.service
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ Description=Web service for hosting of PureScript API documentation
[Service]
Type=simple
User=www-data
ExecStart=/usr/local/bin/pursuit +RTS -N1 -A128m -M1.5G -RTS
ExecStart=/usr/local/bin/pursuit +RTS -N1 -A128m -M3.5G -RTS
Restart=always
RestartSec=5s
Environment="PURSUIT_APPROOT=https://pursuit.purescript.org"
Expand Down

0 comments on commit e8dd25a

Please sign in to comment.