Google Groups Home
Help | Sign in
Issue 24 in tinypy: tinypy exits on errors without debug info
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  1 message - Collapse all
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
codesite-nore...@google.com  
View profile
 More options Jul 20, 11:39 am
From: codesite-nore...@google.com
Date: Sun, 20 Jul 2008 08:39:55 -0700
Local: Sun, Jul 20 2008 11:39 am
Subject: Issue 24 in tinypy: tinypy exits on errors without debug info
Issue 24: tinypy exits on errors without debug info
http://code.google.com/p/tinypy/issues/detail?id=24

New issue report by allefant:
What steps will reproduce the problem?

1. Embed tinypy in your application.
2. Make your tinypy code raise an uncaught exception.
3. Try to debug the problem.

What is the expected output? What do you see instead?

I would like a full traceback in gdb to the line of code which caused the
problem. Instead I get nothing at all.

The attached patch fixes it by replacing tinypy's calls to exit() with abort().

Attachments:
        abort.diff  525 bytes

Issue attributes:
        Status: Accepted
        Owner: allefant
        Labels: Type-Defect Priority-Medium

--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google