]> rtime.felk.cvut.cz Git - frescor/frsh.git/blobdiff - resources/disk_bfq/mngr/diskbfq_mngr.c
bfq: Add check for missing disk parameter
[frescor/frsh.git] / resources / disk_bfq / mngr / diskbfq_mngr.c
index da32e7f3d52c103419692d2befdd4b3d18d3fe34..7eb4f2e41eec6bab99fb2a2663051f17082528df 100644 (file)
@@ -183,7 +183,7 @@ int main(int argc, char *argv[])
        forb_orb orb;
        FILE* fd;
        int readers = 4;
-       char disk_dev[40], *disk_name = disk_dev;
+       char disk_dev[40] = {0}, *disk_name = disk_dev;
        char path[128], scheduler[128];
        int i, opt, ret;
 
@@ -221,6 +221,9 @@ err_usage:
                }
        }
 
+       if (!*disk_name)
+               error(1, 0, "Disk device not specified");
+
        orb = forb_init(&argc, &argv, &attr);
        if (!orb) error(1, errno, "forb_init");