| 1234567891011121314151617181920212223242526 |
- local socket_name = "/tmp/foo";
- local server = socket.unix();
- try {
- os.remove(socket_name); /* in case it already exists */
- } catch(e) {}
- server.bind(socket_name);
- print(server);
- server.listen();
- local c = server.accept();
- print(c);
- while(true) {
- try {
- local rc = c.receive();
- if(rc[1]) break;
- print(rc[0], rc[1]);
- }
- catch(e){
- print(e);
- break;
- }
- }
- c.close();
- server.close();
- os.remove(socket_name);
|