]> git.plutz.net Git - confetti/blob - courses/edit_course.sh
create working directories at startup
[confetti] / courses / edit_course.sh
1 #!/bin/sh
2
3 # Copyright 2014, 2019, 2020 Paul Hänsch
4 #
5 # This file is part of Confetti.
6
7 # Confetti is free software: you can redistribute it and/or modify
8 # it under the terms of the GNU Affero General Public License as published by
9 # the Free Software Foundation, either version 3 of the License, or
10 # (at your option) any later version.
11
12 # Confetti is distributed in the hope that it will be useful,
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 # GNU Affero General Public License for more details.
16
17 # You should have received a copy of the GNU Affero General Public License
18 # along with Confetti.  If not, see <http://www.gnu.org/licenses/>. 
19
20 locktimeout=900
21 . "$_EXEC"/session_lock.sh
22
23 course="$(GET course |PATH)"
24 coursefile="$_DATA/ical/${course##*/}"
25
26 if tempfile="$(SLOCK "$coursefile" "$locktimeout")"; then
27   REDIRECT "/courses/?e=${course}"
28 elif [ -f "$tempfile" ]; then
29   SET_COOKIE session message="SESSLOCK"
30   REDIRECT "/courses/#${course}"
31 else
32   SET_COOKIE session message="EDITLOCK"
33   REDIRECT "/courses/#${course}"
34 fi