Updated rt_launch to work with ext-res

1 files changed, 5 insertions, 17 deletions

diff --git a/bin/rt_launch.c b/bin/rt_launch.c
index f12af39..384ea64 100644
--- a/bin/rt_launch.c
+++ b/bin/rt_launch.c
@@ -123,24 +123,12 @@ int main(int argc, char** argv)
 
         signal(SIGUSR1, SIG_IGN);
 
-        if (reservation == -1 || create_reservation) {
-                /* -r flag not given => wcet and period arguments required */
-                if (argc - optind < 3)
-                        usage("Arguments missing.");
-
-                wcet_ms   = want_positive_double(argv[optind + 0], "BUDGET");
-                period_ms = want_positive_double(argv[optind + 1], "PERIOD");
-                optind += 2;
-        } else {
-                /* -r argument given: wcet and period are irrelevant
-                 * since only the reservation parameters matter. */
-                if (argc - optind < 1)
-                        usage("Argument missing.");
+        if (argc - optind < 3)
+                usage("Arguments missing.");
 
-                 /* pick dummy values */
-                wcet_ms   = 100;
-                period_ms = 100;
-        }
+        wcet_ms   = want_positive_double(argv[optind + 0], "BUDGET");
+        period_ms = want_positive_double(argv[optind + 1], "PERIOD");
+        optind += 2;
 
         wcet   = ms2ns(wcet_ms);
         period = ms2ns(period_ms);