Google Mail Calendar Documents Reader Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
Message from discussion #1711: dropConstraint()'s $primary hint in MySQL
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
 
From:
To:
Cc:
Follow-up To:
Add Cc | Add Follow-up to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers that you hear
 
Doctrine  
View profile   Translate to Translated (View Original)
 More options 2 Dec 2008, 18:51
From: "Doctrine" <no-re...@phpdoctrine.org>
Date: Tue, 02 Dec 2008 18:51:46 -0000
Local: Tues 2 Dec 2008 18:51
Subject: [Doctrine] #1711: dropConstraint()'s $primary hint in MySQL
#1711: dropConstraint()'s $primary hint in MySQL
-----------------------------------+--------------------------------------- -
 Reporter:  temp                   |       Owner:  jwage
     Type:  defect                 |      Status:  new  
 Priority:  minor                  |   Milestone:  1.0.5
Component:  Attributes             |     Version:  1.0.3
 Keywords:                         |    Has_test:  0    
 Mystatus:  Pending Core Response  |   Has_patch:  0    
-----------------------------------+--------------------------------------- -
 Shouldn't MySQL override Export's dropConstraint() method to take use of
 the $primary flag?

 Since it is always
 ALTER TABLE whatever DROP PRIMARY KEY

 Right now I have to specify "PRIMARY KEY" to the method, but won't this
 break compatibility with other databases? Or is this valid for all
 databases?

--
Ticket URL: <http://trac.phpdoctrine.org/ticket/1711>
Doctrine <http://www.phpdoctrine.org>
PHP Doctrine Object Relational Mapper


    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.

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