Spaces:
Running
Running
Hugo.V commited on
Commit ·
53fb401
1
Parent(s): c070dcd
correction du bug bugger
Browse files- jericho/main.py +1 -1
- jericho/static/main.js +0 -1
jericho/main.py
CHANGED
|
@@ -918,7 +918,7 @@ class Jericho(ReachyMiniApp): # appli principale serveur app backend
|
|
| 918 |
angle = -1.0 * (1.0 - math.exp(-1.5 * t_state) + tremblement) * ANTENNA_MAX
|
| 919 |
left_ant = angle - 0.2
|
| 920 |
right_ant = -(angle - 0.2)
|
| 921 |
-
|
| 922 |
angle = 1.0 * (1.0 - math.exp(-14.0 * t_state)) * ANTENNA_MAX_alt
|
| 923 |
left_ant = -(angle - 0.3)
|
| 924 |
right_ant = (angle - 0.3)
|
|
|
|
| 918 |
angle = -1.0 * (1.0 - math.exp(-1.5 * t_state) + tremblement) * ANTENNA_MAX
|
| 919 |
left_ant = angle - 0.2
|
| 920 |
right_ant = -(angle - 0.2)
|
| 921 |
+
else:
|
| 922 |
angle = 1.0 * (1.0 - math.exp(-14.0 * t_state)) * ANTENNA_MAX_alt
|
| 923 |
left_ant = -(angle - 0.3)
|
| 924 |
right_ant = (angle - 0.3)
|
jericho/static/main.js
CHANGED
|
@@ -225,7 +225,6 @@ async function loadLibrary() {
|
|
| 225 |
projects.forEach(video => {
|
| 226 |
const safeName = escapeHtml(video.name);
|
| 227 |
const deleteBtn = `<span onclick="deleteProject(event, ${JSON.stringify(video.name).replaceAll('"', '"')})" style="position:absolute; top:2px; right:4px; font-size:16px; cursor:pointer;" title="Supprimer définitivement">✗</span>`;
|
| 228 |
-
const deleteBtn = `<span onclick="deleteProject(event, ${JSON.stringify(video.name).replaceAll('"', '"')})" style="position:absolute; top:2px; right:4px; font-size:16px; cursor:pointer;" title="Supprimer définitivement">✗</span>`;
|
| 229 |
|
| 230 |
if (video.status === 'DONE') {
|
| 231 |
const nameArg = JSON.stringify(video.name).replaceAll('"', '"');
|
|
|
|
| 225 |
projects.forEach(video => {
|
| 226 |
const safeName = escapeHtml(video.name);
|
| 227 |
const deleteBtn = `<span onclick="deleteProject(event, ${JSON.stringify(video.name).replaceAll('"', '"')})" style="position:absolute; top:2px; right:4px; font-size:16px; cursor:pointer;" title="Supprimer définitivement">✗</span>`;
|
|
|
|
| 228 |
|
| 229 |
if (video.status === 'DONE') {
|
| 230 |
const nameArg = JSON.stringify(video.name).replaceAll('"', '"');
|