fixed deployment script

devsnd · Apr 11, 2020 · aaa834e · aaa834e
1 parent 911b757
commit aaa834e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/devscripts/deploy.py b/devscripts/deploy.py
@@ -18,7 +18,7 @@ def prog_exists(exe):
         with open(os.devnull,'w') as devnull:
             prog = sp.Popen([exe], stdin=devnull, stdout=devnull)
             stout, sterr = prog.communicate('')
-    except IOError:
+    except (IOError, OSError):
         print('Warning: "%s" was not found.' % exe)
         return False
     return True

diff --git a/res/bootstrap3/gen/cherrymusic.css b/res/bootstrap3/gen/cherrymusic.css
@@ -3915,15 +3915,15 @@ textarea.input-group-sm > .input-group-btn > .btn {
 }
 .label {
   display: inline;
-  padding: .2em .6em .3em;
+  padding: 0.2em 0.6em 0.3em;
   font-size: 75%;
   font-weight: bold;
   line-height: 1;
   color: #fff;
   text-align: center;
   white-space: nowrap;
   vertical-align: baseline;
-  border-radius: .25em;
+  border-radius: 0.25em;
 }
 .label[href]:hover,
 .label[href]:focus {