diff options
| author | eunhhu <[email protected]> | 2026-09-30 05:58:38 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-30 05:58:38 +0100 |
| commit | 45f6386784497bdfe3eaa7eb9b8f0104bb804267 (patch) | |
| tree | e860d4de8cd801719a2cc9880f534c8a77c63ec3 /docs/research | |
| parent | 5ce7655d613689223050715ff3f8fe5c456ebf11 (diff) | |
| download | pure-45f6386784497bdfe3eaa7eb9b8f0104bb804267.tar.gz pure-45f6386784497bdfe3eaa7eb9b8f0104bb804267.zip | |
Say a node's name when pure-serve starts
A node's sends are named NAME.OUTPUT, and a receiver's --sender must say
that name. Without --name it is the module file's name without .pmod,
which nothing said: two board nodes built from board2.aup sent as
board2.changed and were refused by receivers expecting a.changed. The
first line out now carries the name beside the port and the key, and
the usage says where it comes from.
Diffstat (limited to 'docs/research')
0 files changed, 0 insertions, 0 deletions