Daniel C. Sobral 18ee60a576 Remove the setting of sourceid from bf_vm(), as bf_vm() really has
no clue.

Set sourceid to 0 when booting, which is the correct setting for stdin.

Set sourceid to an arbitrary fd when include'ing, preserving and restoring
the previous sourceid. This is possibly broken(), as 0 is a valid fd. Maybe
we should +1 to this value.

This fixes the version problem widely reported.
2000-06-14 19:37:00 +00:00
..
2000-06-14 10:04:06 +00:00
2000-06-10 11:05:17 +00:00
2000-06-14 17:53:40 +00:00
2000-06-14 17:53:40 +00:00
2000-06-14 06:41:33 +00:00
2000-06-14 18:31:42 +00:00
2000-05-01 20:32:07 +00:00
2000-05-01 20:32:07 +00:00
2000-06-11 11:54:52 +00:00
2000-05-01 20:32:07 +00:00