mirror of
https://github.com/ubf/ubf.git
synced 2026-04-18 18:55:51 +00:00
24 lines
478 B
Plaintext
24 lines
478 B
Plaintext
+NAME("file_server").
|
|
|
|
+VSN("ubf1.0").
|
|
|
|
+INFO("I am a mini file server").
|
|
|
|
+DESCRIPTION("The mini file server
|
|
allows only list, and get operations
|
|
").
|
|
|
|
+TYPE password() = string().
|
|
+TYPE file() = string().
|
|
|
|
+STATE start
|
|
{logon, password()} => ok & active
|
|
| error & stop.
|
|
|
|
+STATE active
|
|
ls => {files, [string()]} & active;
|
|
{get, file()} => binary() & active
|
|
| noSuchFile & stop.
|
|
|
|
|