chore: Update default instance name to "manual instance" in Database.py and model.py

This commit is contained in:
Théophile Diot 2024-08-30 10:30:13 +02:00
parent 2c0a0d4b8f
commit 8b40406612
No known key found for this signature in database
GPG key ID: FA995104A0BA376A
2 changed files with 3 additions and 3 deletions

View file

@ -3131,7 +3131,7 @@ class Database:
session.add(
Instances(
hostname=hostname,
name=name or "static instance",
name=name or "manual instance",
port=port,
server_name=server_name,
method=method,
@ -3198,7 +3198,7 @@ class Database:
to_put.append(
Instances(
hostname=instance["hostname"],
name=instance.get("name", "static instance"),
name=instance.get("name", "manual instance"),
port=instance["env"].get("API_HTTP_PORT", 5000),
server_name=instance["env"].get("API_SERVER_NAME", "bwapi"),
type=instance.get("type", "static"),

View file

@ -199,7 +199,7 @@ class Instances(Base):
__tablename__ = "bw_instances"
hostname = Column(String(256), primary_key=True)
name = Column(String(256), nullable=False, default="static instance")
name = Column(String(256), nullable=False, default="manual instance")
port = Column(Integer, nullable=False)
server_name = Column(String(256), nullable=False)
type = Column(INSTANCE_TYPE_ENUM, nullable=False, default="static")