third-party-mirrors/EDDN
1
0
Fork 0
mirror of https://github.com/EDCD/EDDN.git synced 2025-04-27 13:42:14 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

setup.py: Backup/restore monitor eddn-config.js if present

Browse Source
This commit is contained in:
Athanasius 2022-03-13 16:33:56 +00:00
parent db698d70cf
commit b81931fd3c
No known key found for this signature in database
GPG Key ID: 8C392035DD80FD62
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
setup.py
View File

@ -3,6 +3,7 @@ import glob
import os import os
import pathlib import pathlib
import re import re
import tempfile
import shutil import shutil
import subprocess import subprocess
import sys import sys
@ -170,6 +171,19 @@ print(
Ensuring latest monitor files are in place... Ensuring latest monitor files are in place...
""" """
) )
# We need to preserve any js/eddn-config.js file
backup_fh, backup_filename = tempfile.mkstemp(prefix="eddn-config.js", dir=".")
os.close(backup_fh)
try:
shutil.copy2(
SHARE_EDDN_FILES / "monitor/js/eddn-config.js",
backup_filename,
)
except FileNotFoundError:
backup_filename = None
# Copy the monitor (Web page) files # Copy the monitor (Web page) files
try: try:
shutil.rmtree(SHARE_EDDN_FILES / "monitor") shutil.rmtree(SHARE_EDDN_FILES / "monitor")
@ -182,6 +196,16 @@ shutil.copytree(
SHARE_EDDN_FILES / "monitor", SHARE_EDDN_FILES / "monitor",
copy_function=shutil.copyfile, # type: ignore copy_function=shutil.copyfile, # type: ignore
) )
# Restore the backed-up eddn-config.js
if backup_filename is not None:
shutil.copy2(
backup_filename,
SHARE_EDDN_FILES / "monitor/js/eddn-config.js",
)
os.unlink(backup_filename)
# And a copy of the schemas too # And a copy of the schemas too
print( print(
""" """