Commit 51ed0bc8 authored by Theresa Pollinger's avatar Theresa Pollinger
Browse files

environment variable for frontend mmt url

parent 3dda0e52
......@@ -254,7 +254,7 @@ Otherwise, you can always answer with \LaTeX-type input.
args = args.replace("tgview", '', 1).strip()
server_url = str(self.state_machine.mmtinterface.mmt_base_url)
server_url = str(self.state_machine.mmtinterface.mmt_frontend_base_url)
if args == '':
url_args_dict = dict(type="pgraph",
......
......@@ -191,6 +191,7 @@ class MMTInterface:
def __init__(self):
# get current mmt url
self.mmt_base_url = os.environ.setdefault('MMT_BASE_URL', 'http://localhost:9000')
self.mmt_frontend_base_url = os.environ.setdefault('MMT_FRONTEND_BASE_URL', 'http://localhost:9000')
# set up session
self.session = requests.Session()
......
......@@ -371,7 +371,7 @@ class PDE_States:
self.print_empty_line()
self.poutput(
"Would you like to name additional parameters like constants or functions (that are independent of your \
unknowns)? c : ℝ = ? or f : Ω ⟶ ℝ = ?") # ℝ
unknowns)? c : ℝ = ? or f : Ω ⟶ ℝ = ?, e.g. `\\\\Omega = [0.0;1.0]`") # ℝ
self.simdata["parameters"] = OrderedDict()
def parameters_handle_input(self, userstring):
......@@ -958,7 +958,7 @@ class PDE_States:
def recap(self, userstring=None): # TODO
self.print_simdata()
self.print_empty_line()
# self.poutput("You can inspect the persistently loaded MMT theories under " + self.mmtinterface.mmt_base_url)
self.poutput("You can inspect the persistently loaded MMT theories under " + self.mmtinterface.mmt_frontend_base_url)
#TODO
def print_simdata(self):
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment