chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c29d135
)
Fix a typo in vmtools.py
author
Pierre Rudloff
<contact@rudloff.pro>
Fri, 22 Dec 2017 00:14:29 +0000
(
00:14
+0000)
committer
Pierre Rudloff
<contact@rudloff.pro>
Fri, 22 Dec 2017 00:14:29 +0000
(
00:14
+0000)
fdroidserver/vmtools.py
patch
|
blob
|
history
diff --git
a/fdroidserver/vmtools.py
b/fdroidserver/vmtools.py
index 2142beb7db0d532bedc24e8ce7fb33b8e17fadeb..6671a3eb8d38274ae161ab2ab82fb008bb0a8fc6 100644
(file)
--- a/
fdroidserver/vmtools.py
+++ b/
fdroidserver/vmtools.py
@@
-54,7
+54,7
@@
def get_clean_builder(serverdir, reset=False):
if reset:
logger.info('resetting buildserver by request')
elif not vm.vagrant_uuid_okay():
- logger.info('resetting buildserver, b
ce
ause vagrant vm is not okay.')
+ logger.info('resetting buildserver, b
ec
ause vagrant vm is not okay.')
reset = True
elif not vm.snapshot_exists('fdroidclean'):
logger.info("resetting buildserver, because snapshot 'fdroidclean' is not present.")