<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Right, that all makes sense. It should
be easy to set up a shell script from first principles, with no
particular support from Ur/Web. Then calling that shell script
from an Ur/Web app with the C FFI should also be straightforward
-- just be sure to register the execution of the script as a
transactional with no rollback handler.<br>
<br>
On 05/13/2018 02:19 PM, Simon Van Casteren wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAC0+czqawXuzJU5ZZwGX56ciVBTE5VbpLydffYusGKziFyMDOQ@mail.gmail.com">
<div dir="ltr">In general, not really. And at the moment I don't
have time to implement the automation so I for sure will do it
manually. But I plan to add a "Demo" button where people can
check out the whole application with some demo data and can do
whatever they want. I wanted to implement that also as a
seperate tenant, and after a few days of inactivity delete those
"demo tenants".
<div><br>
</div>
<div>Secondly, as a client I would appreciate it if I could buy
this product and immediately get my environment up and
running, so not having to wait minutes-hours until I can start
using what I bought. This is not that important right now, but
I would like to have the possibility.</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">2018-05-13 20:11 GMT+02:00 Adam
Chlipala <span dir="ltr"><<a
href="mailto:adamc@csail.mit.edu" target="_blank"
moz-do-not-send="true">adamc@csail.mit.edu</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">I'm
confused about something: do you really expect to add new
tenants frequently enough that it would be a problem for you
to have to log into the server and run a shell script each
time? Would it even be a problem if you had to edit
configuration files manually on the server each time?<span
class="im HOEnZb"><br>
<br>
On 05/13/2018 02:02 PM, Simon Van Casteren wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
As I see it now, I'll probably have an API endpoint
"new_tenant" that will run the following:<br>
<br>
* Run a shell script to set up a new DB and load default
data.<br>
* Write the necessary config for a new fastCGI server
with the new connection string into my nginx config and
reload nginx, as I've read this should not impact the
other servers. I'll probably add some notification to
myself whenever I do this so I don't silently start
thousands of servers when something goes wrong.<br>
</blockquote>
</span></blockquote>
</div>
</div>
</blockquote>
<br>
</body>
</html>