#184 new
Andrew Otto

Piped Input

Reported by Andrew Otto | January 17th, 2011 @ 04:58 PM

What I did: echo "hi" | kod

What I expected to happen: A new kod window to open with the text 'hi'.

What actually happened: Kod crashed:

$ echo "hi" | kod
2011-01-17 10:56:29.662 kod[66857:903] W [src/kod_helper.m:341] NSInvalidReceivePortException: connection went invalid while waiting for a reply
  0   CoreFoundation                      0x00007fff83ff27b4 __exceptionPreprocess + 180
  1   libobjc.A.dylib                     0x00007fff800ef0f3 objc_exception_throw + 45
  2   CoreFoundation                      0x00007fff83ff25d7 +[NSException raise:format:arguments:] + 103
  3   CoreFoundation                      0x00007fff83ff2564 +[NSException raise:format:] + 148
  4   Foundation                          0x00007fff80c380f6 -[NSConnection sendInvocation:internal:] + 4355
  5   CoreFoundation                      0x00007fff83fc498c ___forwarding___ + 860
  6   CoreFoundation                      0x00007fff83fc0a68 _CF_forwarding_prep_0 + 232
  7   kod                                 0x00000001000025ac -[KCLIProgram openNewDocumentWithStdin] + 347
  8   kod                                 0x000000010000282f main + 177
  9   kod                                 0x00000001000015c4 start + 52

Version of Kod: kod version 0.0.3

Comments and changes to this ticket

  • Andrew Otto

    Andrew Otto January 17th, 2011 @ 04:59 PM

    • Tag set to cli pipe input redirection
  • Andrew Otto

    Andrew Otto January 17th, 2011 @ 05:00 PM

    • Tag changed from cli pipe input redirection to cli, input, pipe, redirection
  • prachu5
  • Kaushal KUMAR

    Kaushal KUMAR April 13th, 2022 @ 06:12 PM

    A piped input should be connected to the relavant piped output stream; the piped input stream then provides whatever data bytes are written to the piped output stream. Hope it works. Do refer https://meethamango.com/

  • Pgslot123

    Pgslot123 May 28th, 2022 @ 06:42 AM

    slot168 online slots website Bonus is easy to break, get real money, lots of promotions, only pg slot games, the more you play, the richer you get, the higher the payout rate Definitely worth the investment most popular

  • surin

    surin May 29th, 2022 @ 07:30 AM

    อยากรวยต้องรู้ สัญลักษณ์ในเกม Pg Slot เรื่องเกี่ยวกับการคว้าชัยชิงรางวัลก้อนโตจากเกมสล็อตออนไลน์กับทางค่าย PG SLOT เป็นสิ่งที่นักพนันคนใหม่คาดหมายว่าจำเป็นที่จะต้องนำเกมมาให้น่าเล่นมากมาย

  • Greg Reynolds

    Greg Reynolds November 8th, 2022 @ 11:07 AM

    Your sharing is quite fascinating, and I've been idle mining empire playing this game a lot lately because it's so appealing. You should give it a shot.

  • เเอด63

    เเอด63 March 9th, 2023 @ 12:20 PM

    เว็บตรง Pgslot63 pgslot เว็บคาสิโนออนไลน์สำหรับคนฉลาดเลือก เนื่องจากว่าเป็นการลงทุนที่ให้ คุณใช้งบประมาณในการเริ่มต้นที่ต่ำที่สุดแต่สามารถคว้าเงินรางวัลได้ไม่ต่างจากการลงทุนออนไลน์ชนิดอื่น โดยคุณสามารถเลือกลงทุนทั้งในเกมสล็อตออนไลน์ pg slot เว็บตรง ที่มีเงินเพียง 1 บาทก็เริ่มต้นเล่นได้https://pgslot63.bet/ และมี pg slot game โอกาสคว้าเงินรางวัลได้หลายเท่าตัวจากยอดเดิมพัน pgslot

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.

New-ticket Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

A text editor for Mac OS X

People watching this ticket