mantabot code

open System
open System.IO
open System.Net
open System.Net.Sockets
open System.Text.RegularExpressions
open System.Net.Security
open System.Security.Cryptography.X509Certificates

(* This bot cannot create or join some channels without registering; registration is also
    required to join servers like idlechat which have daemon checkers.
    Currently, SSL verification is bypassed.
*)
let test_toggle = 0

let server =
    if test_toggle = 1 then "us.idlechat.net"
    else "irc.geekshed.net"
let port  = 6697
let channel = "#batoto" //mantabot
let nick = "mantabot"
let username =
    if server.Contains("idlechat") then "antaMay ayRay"
    else "mantatanta"
let password = "my_password"

let mutable run = true

// establish and confirm a connection to the server
let irc_client = new TcpClient()
irc_client.Connect(server, port)

if (irc_client.Connected = false) then Console.WriteLine("Did not connect.")
else Console.WriteLine("Connected to " + server)

// get the input and output streams in ssl
//cheating verification

let validatecheat = RemoteCertificateValidationCallback(fun _ _ _ _ -> true)
let selectioncheat = fun _ -> System.Security.Cryptography.X509Certificates.X509Certificate()
let certificatecheat = LocalCertificateSelectionCallback( fun _ _ _ _ -> selectioncheat)

let irc_writer =
    let stream = irc_client.GetStream()
    let ssl = new SslStream(stream, true, validatecheat, certificatecheat)
    ssl.AuthenticateAsClient(server)
    ssl

//non ssl version, for testing
(*
let irc_writer =
    let stream = irc_client.GetStream()
    let write = new StreamWriter( stream )
    write
    *)

// identify with the server and join a room

let stream = new StreamReader(irc_writer, true)

let writer = new StreamWriter(irc_writer)

let send (data: string) =
    writer.WriteLine(data + "\n\r")
    writer.Flush()
    Console.WriteLine("\n<{ " + data)


Console.Write("\n}> "); Console.Write(stream.Read())
send ("PASS " + password)
Console.Write("\n}> "); Console.Write(stream.Read())
send ("NICK " + nick)
Console.Write("\n}> "); Console.Write(stream.Read())
if server.Contains("idlechat") then
    send ("USER " + nick + " " + nick + " " + nick + " :themantarays")// + username) //mantatanta
else
    send ("USER " + nick + " " + nick + " " + nick + " :mantatanta")
Console.Write("\n}> "); Console.Write(stream.Read())
send ("JOIN " + channel)
Console.Write("\n}> "); Console.Write(stream.Read())