ScoDoc/ScoDoc
ScoDoc
/
ScoDoc
8
2
Fork 15
Code Issues 146 Pull Requests 1 Projects 3 Releases 130 Wiki Activity

cosmetic

This commit is contained in:
Emmanuel Viennet 2024-02-27 21:10:55 +01:00
parent fdcf6388f5
commit 5e5cb015d0
3 changed files with 19 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
app/scodoc/sco_moduleimpl_status.py
View File

@ -358,11 +358,11 @@ def moduleimpl_status(moduleimpl_id=None, partition_id=None):
if formsemestre_has_decisions(formsemestre_id): if formsemestre_has_decisions(formsemestre_id):
H.append( H.append(
"""<ul class="tf-msg"> """<div class="formsemestre-warning-box">
<li class="tf-msg warning">Décisions de jury saisies: seul le ou la responsable du <div class="warning">Décisions de jury saisies: seul le ou la responsable du
semestre peut saisir des notes (elle devra modifier les décisions de jury). semestre peut saisir des notes (elle devra modifier les décisions de jury).
</li> </div>
</ul>""" </div>"""
) )
# #
H.append( H.append(

11
app/static/css/scodoc.css
View File

@ -3407,6 +3407,17 @@ li.tf-msg {
padding-bottom: 5px; padding-bottom: 5px;
} }
div.formsemestre-warning-box {
background-color: yellow;
border-radius: 4px;
margin-top: 12px;
margin-left: 0px;
padding-left: 0px;
padding-right: 4px;
padding-top: 2px;
/* padding-bottom: 1px; */
}
.warning, .warning-bloquant { .warning, .warning-bloquant {
color: red; color: red;
margin-left: 16px; margin-left: 16px;

8
tools/test_api.sh
View File

@ -4,8 +4,8 @@
# Ce script lance un serveur scodoc sur le port 5555 # Ce script lance un serveur scodoc sur le port 5555
# attend qu'il soit initialisé puis lance les tests client API. # attend qu'il soit initialisé puis lance les tests client API.
# #
# On peut aussi le lancer avec l'option --dont-start-server # On peut aussi le lancer avec l'option --dont-start-server
# auquel cas il utilise un serveur existant, qui doit avoir été lancé # auquel cas il utilise un serveur existant, qui doit avoir été lancé
# par ailleurs, par exemple via le script: # par ailleurs, par exemple via le script:
# tests/api/start_api_server.sh -p 5555 # tests/api/start_api_server.sh -p 5555
# #
@ -21,7 +21,7 @@
# #
# E. Viennet, Fev 2023 # E. Viennet, Fev 2023
cd /opt/scodoc cd /opt/scodoc || exit 1
# suppose que le virtual env est bien configuré # suppose que le virtual env est bien configuré
# Utilise un port spécifique pour pouvoir lancer ce test sans couper # Utilise un port spécifique pour pouvoir lancer ce test sans couper
@ -57,7 +57,7 @@ then
echo "ScoDoc test server logs are in $SERVER_LOG" echo "ScoDoc test server logs are in $SERVER_LOG"
# Wait for server setup # Wait for server setup
echo -n "Waiting for server" echo -n "Waiting for server"
while ! nc -z localhost "$PORT"; do while ! nc -z localhost "$PORT"; do
echo -n . echo -n .
sleep 1 sleep 1
done done