浏览代码

Fixed up the generate bootstrap and run local modelverse scripts

Yentl Van Tendeloo 9 年之前
父节点
当前提交
2dcc9ab711
共有 3 个文件被更改,包括 4 次插入8 次删除
  1. 0 1
      generate_bootstrap.bat
  2. 1 1
      kernel/mvk_server/server.py
  3. 3 6
      run_local_modelverse.bat

+ 0 - 1
generate_bootstrap.bat

@@ -1,4 +1,3 @@
-#!/bin/bash
 cd bootstrap
 python bootstrap.py
 cd ..

+ 1 - 1
kernel/mvk_server/server.py

@@ -1,7 +1,7 @@
 """
 Generated by Statechart compiler by Glenn De Jonghe and Joeri Exelmans
 
-Date:   Tue Mar 15 15:48:55 2016
+Date:   Mon Aug 08 08:28:10 2016
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server

+ 3 - 6
run_local_modelverse.bat

@@ -1,10 +1,7 @@
-@echo off
-set filename=%~f1
-echo Compiling MvK server
-cd kernel\mvk_server
+set port=%1
+cd hybrid_server
 python python_sccd_compiler\sccdc.py -p threads server.xml
 
-echo Starting MvK with file %filename%
-python run_mvk_server.py %filename%
+python run_mvk_server.py %port%
 cd ..\..
 pause