Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add Eio_unix.Sockopt for setting/getting socket options #575

Draft
wants to merge 9 commits into
base: main
Choose a base branch
from
Draft

add Eio_unix.Sockopt for setting/getting socket options #575

wants to merge 9 commits into from

Commits on Jul 22, 2023

  1. add Eio_unix.Sockopt for setting socket options

    @avsm
    avsm committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    68cea67 View commit details
    Browse the repository at this point in the history

  2. use extensible types and move to Eio_unix.Net

    @avsm
    avsm committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    92a06fe View commit details
    Browse the repository at this point in the history

  3. add TCP_DEFER_ACCEPT and TCP_NO_DELAY socket options

    @avsm
    avsm committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    804a18b View commit details
    Browse the repository at this point in the history

  4. sockopt: build on windows

    @avsm
    avsm committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    e329d21 View commit details
    Browse the repository at this point in the history

  5. sockopt: add Linux support

    @avsm
    avsm committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    fb941d6 View commit details
    Browse the repository at this point in the history

  6. sockopt: fix windows build

    @avsm
    avsm committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    65fa53b View commit details
    Browse the repository at this point in the history

  7. more windows

    @avsm
    avsm committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    5f4d9fe View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2023

  1. more windows

    @avsm
    avsm committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    287940d View commit details
    Browse the repository at this point in the history

  2. more windows

    @avsm
    avsm committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    b12fc65 View commit details
    Browse the repository at this point in the history