kink-lang / Tickets / #166 Cancellation of .connect and .accept

Miyakawa Taku - 2025-07-23

Milestone: none --> 0.9.3
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 2025-09-07

Milestone: 0.9.3 --> none
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 2025-10-13

Milestone: none --> 0.9.5
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 2025-12-18

assigned_to: Miyakawa Taku
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 2025-12-20

Description has changed:

Diff:

--- old +++ new @@ -0,0 +1,15 @@ +Server socket: + +``` +Tcp_server.accept{(:C) + C.timeout(1.234){ called_on_timeout } +} +``` + +Connecting socket: + +``` +Tcp.connect{Remote_addr}{(:C) + C.timeout(1.234){ called_on_timeout } +} +```
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 2025-12-20

Working on sf00166-socket-timeout

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Description has changed:

Diff:

--- old
+++ new
@@ -2,14 +2,18 @@

 ```
 Tcp_server.accept{(:C)
-  C.timeout(1.234){ called_on_timeout }
+  C.timeout(1.234)
+  C.on_cancel{ called_on_cancel }
 }
+Tcp_server.cancel
 ```

 Connecting socket:

 ```
 Tcp.connect{Remote_addr}{(:C)
-  C.timeout(1.234){ called_on_timeout }
+  C.timeout(1.234)
+  C.on_cancel{ called_when_cancelled }
 }
+Tcp.cancel
 ```

Description has changed:

Diff:

--- old
+++ new
@@ -5,7 +5,8 @@
   C.timeout(1.234)
   C.on_cancel{ called_on_cancel }
 }
-Tcp_server.cancel
+,,,
+Tcp_server.cancel_accept
 ```

 Connecting socket:
@@ -15,5 +16,6 @@
   C.timeout(1.234)
   C.on_cancel{ called_when_cancelled }
 }
-Tcp.cancel
+,,,
+Tcp.cancel_connect
 ```

Miyakawa Taku - 2025-12-20

summary: Timeout on .connect and .accept --> Cancellation of .connect and .accept

Description has changed:

Diff:

--- old +++ new @@ -2,7 +2,6 @@ ``` Tcp_server.accept{(:C) - C.timeout(1.234) C.on_cancel{ called_on_cancel } } ,,, @@ -13,7 +12,6 @@ ``` Tcp.connect{Remote_addr}{(:C) - C.timeout(1.234) C.on_cancel{ called_when_cancelled } } ,,,
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 2025-12-25

Description has changed:

Diff:

--- old +++ new @@ -12,8 +12,8 @@ ``` Tcp.connect{Remote_addr}{(:C) - C.on_cancel{ called_when_cancelled } + C.on_closed{ called_when_closed } } ,,, -Tcp.cancel_connect +Tcp.close ```
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 2025-12-25

Description has changed:

Diff:

--- old +++ new @@ -15,5 +15,8 @@ C.on_closed{ called_when_closed } } ,,, -Tcp.close +THREAD.spawn_io{ + THREAD.sleep(5) + Tcp.close_unless_connected +} ```
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 5 days ago

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Miyakawa Taku - 5 days ago

Closed by [6643d5]

Related

Commit: [6643d5]

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Cancellation of .connect and .accept

An object-based programming language

Milestone

Searches

Help

#166 Cancellation of .connect and .accept

Related

Discussion

Related