hostfs bootparametres file
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
marionnet |
New
|
Undecided
|
Unassigned |
Bug Description
Hi all,
I would like to report a potential bug and a possible correction to the boot_parameters hostfs file corruption.
What's the bug, how can we reproduce it?
=======
* Start marionnet (id will begin at 1)
* create a project and 2 machines (indeed i have tested with 3 machines, but 2 should be enough) m1 and m2 (m1 will have internal id 1 ) (m2 will have internal id 2)
* add interface information on m1 only through GUI, so that boot_parameters file will be big enough for m1, dont modify m2 configuration.
* start machines (this will create hostfs and subdir 1 and 2 )
* stop machines
* save project (this will save hostfs subdirectories: m2 as 2, m1 as 1)
* close marionnet, and start it again (so that id starts again at 1)
* load project
(this will restore hostfs and subdirectories 1 and 2)
* start project
(this will start m2 as internal id 1, and m1 as internal id 2)
Unfortunately it does not *erase* the file, just overwrite it (the beginning), the end remains which corrupt file... (name and other parameters...)
Proposal to Fix Issue:
=======
Go to simulation_level.ml line 1162 and change to the following:
Unix.openfile boot_parameters
Best regards.