pankajmore

-- Zipper over the Map with path accumulation
-- and sharing preservation
-- $Id: ZipperM.hs,v 1.4 2005/09/22 03:06:38 oleg Exp $

module ZipperM (Term(..)
		, FileName
		, FileCont
		, NavigateDir(..)
		, DZipper(..)
		, dzip'term

pankajmore

{-# LANGUAGE Rank2Types #-}

-- Zipper-based File/Operating system
-- with threading and exceptions all realized via delimited continuations.
-- There are no unsafe operations, no GHC (let alone) Unix threads,
-- no concurrency problems. Our threads can't even do IO and can't
-- mutate any global state -- and the type system sees to it.

-- Please see http://okmij.org/ftp/continuations/ZFS/zfs-talk.pdf 
-- for the demo and explanations.

pankajmore

{-# LANGUAGE ForeignFunctionInterface #-}

-- Low-level IO operations 
-- These operations are either missing from the GHC run-time library,
-- or implemented suboptimally or heavy-handedly

module LowLevelIO (myfdRead, myfdSeek, Errno(..), select'read'pending)
    where

import Foreign.C

pankajmore

//append this at the end
network={
        ssid="skynet"
        key_mgmt=NONE
        auth_alg=OPEN SHARED
        wep_key0=0246897531
        priority=1
        mode=1
        disabled=1
}

pankajmore

def show()
    @course = OfferedCourse.find(params[:id])
    c = "cs123"
    respond_to do |format|
      format.js
    end
end

// show.js.erb
$(".modal-header h3").html("<%= course.course.name %>")

pankajmore

button_to "Send Request", {:action => "add", :id =>
            course.id, :remote => true} , {:class => "btn "} 

pankajmore

[default] VM already created. Booting if it's not already running...
[default] Clearing any previously set forwarded ports...
[default] Forwarding ports...
[default] -- 22 => 2222 (adapter 1)
[default] Creating shared folders metadata...
[default] Clearing any previously set network interfaces...
There was an error executing the following command with VBoxManage:

["hostonlyif", "create"]

pankajmore

# -*- mode: ruby -*-
# vi: set ft=ruby :

Vagrant::Config.run do |config|
  # All Vagrant configuration is done here. The most common configuration
  # options are documented and commented below. For a complete reference,
  # please see the online documentation at vagrantup.com.

  # Every Vagrant virtual environment requires a box to build off of.
  config.vm.box = "lucid32"

pankajmore

Kernel IP routing table
Destination     Gateway         Genmask         Flags   MSS Window  irtt Iface
0.0.0.0         172.24.7.254    0.0.0.0         UG        0 0          0 eth0
172.24.0.0      0.0.0.0         255.255.248.0   U         0 0          0 eth0

pankajmore

[default] VM already created. Booting if it's not already running...
[default] Clearing any previously set forwarded ports...
[default] Forwarding ports...
[default] -- 22 => 2222 (adapter 1)
[default] Creating shared folders metadata...
[default] Clearing any previously set network interfaces...