Merge lp:~widelands-dev/widelands-website/update_ops_script into lp:widelands-website
Proposed by
SirVer
Status: | Merged |
---|---|
Merged at revision: | 541 |
Proposed branch: | lp:~widelands-dev/widelands-website/update_ops_script |
Merge into: | lp:widelands-website |
Diff against target: |
44 lines (+12/-17) 1 file modified
_ops/apt_update.sh (+12/-17) |
To merge this branch: | bzr merge lp:~widelands-dev/widelands-website/update_ops_script |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Toni Förster | Approve | ||
SirVer | Needs Resubmitting | ||
kaputtnik | Pending | ||
Review via email:
|
Commit message
Adapt the update script for the new server.
To post a comment you must log in.
@stonerl: push back on your comments. In fact, if you try revision 541 of this script on the server, you'll see that the website ends up with the nginx default site being served after the script has ran. I debugged so far to see that there was no www.widelands.org link in /etc/nginx/ sites-enabled.
My hunch is that there is a race condition between this link being deleted and created by the two systemd units, so there is a bug. Feel free to test and debug yourself.
However, even though the implementation would work as advertised, I still feel that the way I wrote the code in 542 is more defensive, hence better.